The varieties of quasigroups of Bol-Moufang type: An equational reasoning approach

Journal of Algebra

Volumn 293, Issue 1, 2005, Pages 17-33

  Phillips, J D ^a   Vojtěchovský, Petr ^b  

^a WABASH COLLEGE   (United States)

^b UNIVERSITY OF DENVER   (United States)

Author keywords

Equational reasoning; Identity of Bol Moufang type; Loop; Model builder; Quasigroup; Quasigroup of Bol Moufang type; Variety; Variety of quasigroups

Indexed keywords

EID: 26944434686     PISSN: 00218693     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jalgebra.2005.07.011     Document Type: Article

References (14)

1. R.H. Bruck A Survey of Binary Systems third printing, corrected Ergeb. Math. Grenzgeb. (N.S.) vol. 20 1971 Springer
2. F. Fenyves Extra loops I Publ. Math. Debrecen 15 1968 235-238
3. F. Fenyves Extra loops II. On loops with identities of Bol-Moufang type Publ. Math. Debrecen 16 1969 187-192
4. K. Kunen Quasigroups, loops, and associative laws J. Algebra 185 1 1996 194-204
5. K. Kunen Moufang quasigroups J. Algebra 183 1 1996 231-234
6. W.W. McCune http://www-unix.mcs.anl.gov/~mccune
7. W.W. McCune Otter, equational reasoning tool, and Mace4, finite model builder Argonne National Laboratory. Available at http://www-unix.mcs.anl.gov/AR 2003
8. W.W. McCune R. Padmanabhan Automated Deduction in Equational Logic and Cubic Curves 1996 Springer
9. R. Moufang Zur Struktur der Alternativkoerpern Math. Ann. 110 1935
10. Otter proofs: The computer-generated proofs omitted in this paper can be downloaded at http://www.math.du.edu/~petr in section research publications
11. H.O. Pflugfelder Quasigroups and Loops: Introduction Sigma Ser. Pure Math. vol. 7 1990 Heldermann Berlin
12. J.D. Phillips See Otter digging for algebraic pearls Quasigroups Related Systems 10 2003 95-114
13. J.D. Phillips, P. Vojtěchovský, The varieties of loops of Bol-Moufang type, Algebra Universalis, in press
14. D.A. Robinson Bol loops Trans. Amer. Math. Soc. 123 1966 341-354