[Paper Review] The classification on simple Moufang loops

N. I. Sandu|ArXiv.org|Apr 13, 2008

Mathematics and Applications8 references3 citations

TL;DR

This paper classifies all non-associative simple Moufang loops using methods from alternative algebras and loop theory. It proves that, up to isomorphism, the only such loops are the quotient loops $ M_0(F)/\langle -1 \rangle $, where $ M_0(F) $ is the set of norm-1 elements in a matrix Cayley-Dickson algebra over a subfield $ F $ of an algebraically closed field.

ABSTRACT

Let $C(F)$ be a matrix Cayley-Dickson algebra over field $F$. By $M_0(F)$ we denote the loop containing of all elements of algebra $C(F)$ with norm 1. It is shown in this paper that with precision till isomorphism the loops $M_0(F)/$ they and only they are simple non-associative Moufang loops, where $F$ are subfields of algebraic closed field

Motivation & Objective

• To classify all non-associative simple Moufang loops using algebraic methods rather than finite group theory.
• To establish that the only such loops are quotients of norm-1 elements in matrix Cayley-Dickson algebras modulo the center $\langle -1 \rangle$.
• To prove that no proper non-associative subloops of type $\overline{\overline{Q}}$ exist within $ M_0(F) $ over a subfield $ F $, ensuring uniqueness of the classification.
• To extend Paige’s earlier results on loop simplicity to a full classification over arbitrary subfields of algebraically closed fields.

Proposed method

• Uses loop algebras $ F\overline{Q} $ constructed from free Moufang loops $ L $ and quotienting by ideals $ \omega H $ generated by $ 1 - h $ for $ h \in H $, a normal subloop.
• Applies Lemma 1 to show that ideals in the loop algebra induce normal subloops in the unit group $ U(FL/I) $, linking algebraic ideals to loop-theoretic normal subloops.
• Employs Zorn’s Lemma to construct maximal ideals in the loop algebra $ F\overline{Q} $, proving that the sum of proper ideals remains proper.
• Identifies $ \overline{\overline{Q}} $ as a subloop of $ M_0(P) $, where $ P $ is an algebraic closure of the field $ F $, and embeds it into a split Cayley-Dickson algebra over $ P $.
• Uses the structure of matrix Cayley-Dickson algebras $ C(F) $ to define $ M_0(F) $ as the norm-1 elements, and shows that $ M_0(F)/\langle -1 \rangle $ is simple and non-associative.
• Applies the isomorphism between composition algebras over the same field $ F $ to prove that any such loop $ \overline{\overline{Q}} $ must be isomorphic to $ M_0(F) $, hence $ Q \cong M(F) $.

Experimental results

Research questions

• RQ1 What are all possible non-associative simple Moufang loops up to isomorphism?
• RQ2 Can the classification of such loops be achieved purely through alternative algebra techniques, independent of finite group theory?
• RQ3 Is the loop $ M_0(F)/\langle -1 \rangle $ the only possible non-associative simple Moufang loop for a subfield $ F $ of an algebraically closed field?
• RQ4 Does $ M_0(F) $ admit any proper non-associative subloops over $ F $, and if so, what are their properties?
• RQ5 How do the loop algebras $ F\overline{Q} $ and their ideals relate to the normal subloops of $ \overline{\overline{Q}} $, and what does this imply for simplicity?

Key findings

• All non-associative simple Moufang loops are isomorphic to $ M_0(F)/\langle -1 \rangle $, where $ F $ is a subfield of an algebraically closed field.
• The loop $ M_0(F)/\langle -1 \rangle $ is simple and non-associative, and its center is precisely $ \langle -1 \rangle $, which has order 2 when $ \text{char}(F) \neq 2 $.
• No proper non-associative subloop of $ M_0(F) $ exists over the same field $ F $, meaning $ M_0(F) $ contains no proper subloops of the same type as $ \overline{\overline{Q}} $.
• The loop $ \overline{\overline{Q}} $, constructed as a quotient of a free Moufang loop, embeds into $ M_0(P) $, where $ P $ is an algebraic closure of $ F $, and is isomorphic to $ M_0(F) $.
• The classification result implies that all finite non-associative simple Moufang loops are isomorphic to $ M(GF(q)) $, recovering Liebeck’s classification via alternative algebra methods.
• The loop algebra construction $ F\overline{Q} $, with ideals $ \omega H $, ensures that any homomorphism from $ \overline{\overline{Q}} $ to $ Q $ factors through $ M_0(F)/\langle -1 \rangle $, proving uniqueness of the isomorphism class.