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

Simple item page
dc.creatorPhillips, J. D.
dc.creatorVojtěchovský, Petr
dc.date2007-01-24
dc.date.accessioned2026-07-07T07:42:53Z
dc.date.available2026-07-07T07:42:53Z
dc.descriptionA quasigroup identity is of Bol-Moufang type if two of its three variables occur once on each side, the third variable occurs twice on each side, the order in which the variables appear on both sides is the same, and the only binary operation used is the multiplication, viz. $((xy)x)z=x(y(xz))$. Many well-known varieties of quasigroups are of Bol-Moufang type. We show that there are exactly 26 such varieties, determine all inclusions between them, and provide all necessary counterexamples. We also determine which of these varieties consist of loops or one-sided loops, and fully describe the varieties of commutative quasigroups of Bol-Moufang type. Some of the proofs are computer-generated.
dc.description15 pages
dc.identifierhttps://arxiv.org/abs/math/0701715
dc.identifierhttp://arxiv.org/abs/math/0701715
dc.identifierJournal of Algebra 293 (2005), 17-33
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/122615
dc.subjectGroup Theory
dc.subject20N05
dc.titleThe varieties of quasigroups of Bol-Moufang type: An equational reasoning approach
dc.typetext

Files

Collections

arXiv