Search

We find a short equational basis for the variety of 3 -supernilpotent loops. We also present a conceptually simple proof that k -nilpotence and k -supernilpotence are equivalent for groups. Connections between 3 -supernilpotent loops, Moufang loops, code loops, automorphic loops and AIM loops are explored. [ABSTRACT FROM AUTHOR]

We initiate a systematic study of abelian-by-cyclic Moufang loops, that is, Moufang loops Q with an abelian normal subgroup X such that Q / X is a cyclic group. Among other results, we construct all split abelian-by-cyclic Moufang loops in which both X and Q / X are 3-divisible, using so-called Moufang permutations on X, which are permutations that deviate from an automorphism of X by an alternating biadditive mapping. Additional abelian-by-cyclic Moufang loops are obtained from so-called construction pairs. As an aside, we show that, in a Moufang loop Q obtained from a construction pair, the abelian normal subgroup X induces an abelian congruence of Q if and only if Q is a group. [ABSTRACT FROM AUTHOR]