2023/01/09 by Aleš Drápal, Drápal, Aleš, Petr Vojtěchovský +1
Engineering · Mathematics · #20N05 #FOS: Mathematics #Group Theory (math.GR) #Mathematics and Applications #graph theory and CDMA systems
paper · pdf · doi:10.48550/arxiv.2301.03646
openalex publication_date 2023/01/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/03
In groups, an abelian normal subgroup induces an abelian congruence. We construct a class of centrally nilpotent Moufang loops containing an abelian normal subloop that does not induce an abelian congruence. On the other hand, we prove that in 6-divisible Moufang loops, every abelian normal subloop induces an abelian congruence. In loops, congruence solvability adopted from the universal-algebraic commutator theory of congruence modular varieties is strictly stronger than classical solvability adopted from group theory. It is an open problem whether the two notions of solvability coincide in Moufang loops. We prove that they coincide in 6-divisible Moufang loops and in Moufang loops of odd order. In fact, we show that every Moufang loop of odd order is congruence solvable, thus strengthening Glauberman's Odd Order Theorem for Moufang loops.