The structure of extra loops

Abstract

The Sylow theorems hold for finite extra loops, as does P. Hall's theorem for finite solvable extra loops. Every finite nonassociative extra loop $Q$ has a nontrivial center, $Z(Q)$. Furthermore, $Q/Z(Q)$ is a group whenever $|Q|<512$. Loop extensions are used to construct an infinite nonassociative extra loop with a trivial center and a nonassociative extra loop $Q$ of order 512 such that $Q/Z(Q)$ is nonassociative. There are exactly 16 nonassociative extra loops of order $16p$ for each odd prime $p$.

18 pages, AMS-LaTeX; v.3: minor corrections suggested by referee

Cited by in corpus (13)

• New Identities In Universal Osborn Loops
• Holomorphy of Osborn loops
• Rectangular loops and rectangular quasigroups
• On a Pair of Universal Weak Inverse Property Loops
• Units in quasigroups with classical Bol-Moufang type identities
• Loops with abelian inner mapping groups: An application of automated deduction
• Ken Kunen: Algebraist
• Weak Inverse Property Loops and Some Isotopy-Isomorphy Properties
• Power-associative, conjugacy closed loops
• C-loops: extensions and constructions
• On A Cryptographic Identity In Osborn Loops
• Toward the classification of Moufang loops of order 64
• On the universality of some Smarandache loops of Bol-Moufang type