It is an open question whether the variety generated by the left divisible left distributive groupoids coincides with the variety generated by the left distributive left quasigroups. In this paper we prove that every left divisible left distributive groupoid with the mapping surjective lies in the variety generated by the left distributive left quasigroups.
We show that finite commutative inverse property loops with elementary abelian inner mapping groups of order are centrally nilpotent of class at most two.
We show that finite commutative inverse property loops with elementary abelian inner mapping groups of order are centrally nilpotent of class at most two.
Let be a finite commutative loop and let the inner mapping group , where is an odd prime number and . We show that is centrally nilpotent of class two.
In this paper we consider finite loops and discuss the following problem: Which groups are (are not) isomorphic to inner mapping groups of loops? We recall some known results on this problem and as a new result we show that direct products of dihedral 2-groups and nontrivial cyclic groups of odd order are not isomorphic to inner mapping groups of finite loops.
We investigate the situation that the inner mapping group of a loop is of order which is a product of two small prime numbers and we show that then the loop is soluble.
We give sufficient and in some cases necessary conditions for the conjugacy closedness of provided the commutativity of . We show that if for some loop , and are abelian groups, then is a CC loop, consequently has nilpotency class at most three. We give additionally some reasonable conditions which imply the nilpotency of the multiplication group of class at most three. We describe the structure of Buchsteiner loops with abelian inner mapping groups.
Multiplication groups of (finite) loops with commuting inner permutations are investigated. Special attention is paid to the normal closure of the abelian permutation group.
Mikheev, starting from a Moufang loop, constructed a groupoid and reported that this groupoid is in fact a group which, in an appropriate sense, is universal with respect to enveloping the Moufang loop. Later Grishkov and Zavarnitsine gave a complete proof of Mikheev's results. Here we give a direct and self-contained proof that Mikheev's groupoid is a group, in the process extending the result from Moufang loops to Bol loops.
In a series of papers from the 1940’s and 1950’s, R.H. Bruck and L.J. Paige developed a provocative line of research detailing the similarities between two important classes of loops: the diassociative A-loops and the Moufang loops ([1]). Though they did not publish any classification theorems, in 1958, Bruck’s colleague, J.M. Osborn, managed to show that diassociative, commutative A-loops are Moufang ([5]). In [2] we relaunched this now over 50 year old program by examining conditions under which...