We prove that if the squaring map in the factor loop of a Moufang loop Q over its nucleus is surjective, then every half-isomorphism of Q onto a Moufang loop is either an isomorphism or an anti-isomorphism. This generalizes all earlier results in this vein.

In groups, an abelian normal subgroup induces congruence. We construct a class of centrally nilpotent Moufang loops containing subloop that does not induce On the other hand, we prove in 6-divisible loops, every congruence solvability adopted from universal-algebraic commutator theory modular varieties is strictly stronger than classical group theory. It open problem whether two notions coincid...

Code loops were introduced by R. L. Griess. Griess [5] and Hsu [7] gave methods to construct the corresponding code loop from any given doubly even binary code; both these methods used some kind of induction. In this paper, we present a global construction of the loop, where we apply the correspondance between the concepts of Moufang loops and groups with triality.

Finite Moufang generalized quadrangles were classified in 1974 as a corollary to the classification of finite groups with a split BN-pair of rank 2, by P. Fong and G. M. Seitz (1973), (1974). Later on, work of S. E. Payne and J. A. Thas culminated in an almost complete, elementary proof of that classification; see Finite Generalized Quadrangles, 1984. Using slightly more group theory, first W. ...