Abelian congruences and solvability in Moufang loops
From MaRDI portal
Publication:6422971
DOI10.1016/J.JALGEBRA.2023.03.001arXiv2301.03646MaRDI QIDQ6422971FDOQ6422971
Authors: Aleš Drápal, Petr Vojtěchovský 
Publication date: 9 January 2023
Abstract: 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 -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 -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.
This page was built for publication: Abelian congruences and solvability in Moufang loops
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6422971)
