The varieties of loops of Bol-Moufang type

By J. Phillips, P. Vojtěchovský. 2005

62 citations recorded by the source corpus.

Abstract.A loop 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, and the order in which the variables appear on both sides is the same, viz. ((xy)x)z = x(y(xz)). Loop varieties defined by one identity of Bol-Moufang type include groups, Bol loops, Moufang loops and C-loops. We show that there are exactly 14 such varieties, and determine all inclusions between them, providing all necessary counterexamples, too. This extends and completes the programme of Fenyves [Fe69].

Subfields: Electrical and Electronic Engineering, Geometry and Topology, Theoretical Computer Science

View Paper: https://www.semanticscholar.org/paper/b121107571bc0556cbbb6ffa8ee2085e4cfd054f