Multiplication groups of commutative automorphic \(p\)-loops of odd order are \(p\)-groups. (Q420710)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Multiplication groups of commutative automorphic \(p\)-loops of odd order are \(p\)-groups. |
scientific article |
Statements
Multiplication groups of commutative automorphic \(p\)-loops of odd order are \(p\)-groups. (English)
0 references
23 May 2012
0 references
The study of automorphic loops (A-loops) was initiated by \textit{R. H. Bruck} and \textit{L. J. Paige}, [Ann. Math. (2) 63, 308-323 (1956; Zbl 0074.01701)]. In this paper the author proves without using the nilpotence that the multiplication group of a finite commutative A-loop of order a power of an odd prime \(p\) is a \(p\)-group. Consequently the loop has nontrivial center which implies the central nilpotence of the loop. The author proves this result by applying the theory of connected transversals that was introduced by \textit{M. Niemenmaa} and \textit{T. Kepka} [in J. Algebra 135, No. 1, 112-122 (1990; Zbl 0706.20046)].
0 references
A-loops
0 references
multiplication groups
0 references
inner mapping groups
0 references
center
0 references
central nilpotence
0 references
translations
0 references
connected transversals
0 references
commutative automorphic loops
0 references
finite loops
0 references