A short proof for the central nilpotency of Moufang loops of prime power order

Abstract

The main result is an elementary proof of the nilpotency of Moufang loops which are of prime power order. Besides basic properties of Moufang loops and Sylow theorems, the proof relies on the fact that a relative multiplication group of a (centrally nilpotent) subloop of order pk is a p-group in any finite Moufang loop Q, and that L-1 & phi;(x)& phi;Lx & phi;-1 and R-1 & phi;(x) & phi;Rx & phi;-1 are pseudoautomorphisms of Q whenever x & ISIN; Q and & phi; is a pseudoautomorphism of Q. & COPY; 2023 Elsevier Inc.

All rights reserved.

Keywords

• Moufang loop
• Centrally nilpotent
• p-loop
• Pseudoautomorphism
• Sylow theorems
• Multiplication group