On a class of n-ary quasigroups.
In this paper we consider finite loops of specific order and we show that certain abelian groups are not isomorphic to inner mapping groups of these loops. By using our results we are able to construct a finite solvable group of order 120 which is not isomorphic to the multiplication group of a finite loop.
In this short paper, we survey the results on commutative automorphic loops and give a new construction method. Using this method, we present new classes of commutative automorphic loops of exponent with trivial center.
In this paper we consider finite loops whose inner mapping groups are nilpotent. We first consider the case where the inner mapping group of a loop is the direct product of a dihedral group of order and an abelian group. Our second result deals with the case where is a -loop and is a nilpotent group whose nonabelian Sylow subgroups satisfy a special condition. In both cases it turns out that is centrally nilpotent.
Using a lemma on subnormal subgroups, the problem of nilpotency of multiplication groups and inner permutation groups of centrally nilpotent loops is discussed.
Using a construction of commutative loops with metacyclic inner mapping group and trivial center described by A. Drápal, we enumerate presumably all such loops of order , for and primes.
Some results concerning congruence relations on partially ordered quasigroups (especially, Riesz quasigroups) and ideals of partially ordered loops are presented. These results generalize the assertions which were proved by Fuchs in [5] for partially ordered groups and Riesz groups.
Let be a finite group with a dicyclic subgroup . We show that if there exist -connected transversals in , then is a solvable group. We apply this result to loop theory and show that if the inner mapping group of a finite loop is dicyclic, then is a solvable loop. We also discuss a more general solvability criterion in the case where is a certain type of a direct product.
We show that finite commutative inverse property loops may not have nonabelian dihedral 2-groups as their inner mapping group.