[Paper Review] On the uniqueness of loops M(G,2)

Petr Vojtěchovský|ArXiv.org|Jan 24, 2007

Mathematics and Applications5 references3 citations

TL;DR

This paper establishes the uniqueness of Chein's Moufang loop construction M(G,2) by characterizing all possible multiplications on G×C₂ using eight group-derived operations. It proves that when G is nonabelian, exactly four assignments yield nonassociative Moufang loops, all isomorphic or anti-isomorphic to M(G,2), thereby confirming the construction's uniqueness up to isomorphism and anti-isomorphism.

ABSTRACT

Let $G$ be a finite group and $C_2$ the cyclic group of order 2. Consider the 8 multiplicative operations $(x,y)\mapsto (x^iy^j)^k$, where $i$, $j$, $k\in\{-1, 1\}$. Define a new multiplication on $G imes C_2$ by assigning one of the above 8 multiplications to each quarter $(G imes\{i\}) imes(G imes\{j\})$, for $i$, $j\in C_2$. When $G$ is nonabelian then exactly four assignments yield Moufang loops that are not associative; all (anti)isomorphic, known as loops $M(G,2)$.

Motivation & Objective

• To investigate whether Chein's construction of Moufang loops M(G,2) is unique among all possible multiplications on G×C₂ using eight group-derived operations.
• To characterize all possible loop structures arising from assigning one of eight multiplicative operations to each quarter of the multiplication table on G×C₂.
• To determine when such a structure is a Moufang loop, particularly when nonassociative.
• To prove that for nonabelian G, only four assignments yield nonassociative Moufang loops, all isomorphic or anti-isomorphic to M(G,2).
• To establish that the original Chein construction is essentially the only such construction up to isomorphism and anti-isomorphism.

Proposed method

• Represent the multiplication on G×C₂ using a 2×2 matrix of permutations from the dihedral group D₈, generated by σ and τ, acting on G×G.
• Define eight multiplicative operations via permutations: (x,y) ↦ (x^i y^j)^k for i,j,k ∈ {−1,1}, corresponding to elements of D₈.
• Use matrix notation M = (α β; γ δ) to represent the full multiplication table, with α,β,γ,δ ∈ D₈.
• Apply loop axioms to derive necessary conditions on α,β,γ for the structure to be a loop, resulting in specific allowed sets for each matrix entry.
• Verify Moufang identity and flexibility to eliminate non-Moufang cases, reducing the number of candidates.
• Use an isomorphism transformation T defined by conjugation with τ and τ³ to show that certain loops are isomorphic, reducing the number of non-isomorphic cases.

Experimental results

Research questions

• RQ1 Are there multiple non-isomorphic Moufang loops that can be constructed on G×C₂ using the eight multiplicative operations derived from G?
• RQ2 Under what conditions on the matrix entries α,β,γ,δ does the resulting structure on G×C₂ form a loop?
• RQ3 Which of these loop structures are Moufang, and which are nonassociative?
• RQ4 For a nonabelian group G, how many distinct (up to isomorphism and anti-isomorphism) nonassociative Moufang loops arise from such constructions?
• RQ5 Is Chein’s original construction M(G,2) the only such construction up to isomorphism when G is nonabelian?

Key findings

• For a nonabelian finite group G with |G|>1 and not elementary abelian of order 2, exactly four assignments of the eight multiplicative operations yield nonassociative Moufang loops.
• All such nonassociative Moufang loops are isomorphic or anti-isomorphic to the original Chein loop M(G,2).
• The four nonassociative Moufang loops arise from the matrices M_c = (ι σ; στ³ τ), M_σ = (ι στ; σ τ³), and their opposites.
• The remaining four assignments yield either associative loops (groups) or fail to satisfy the loop axioms.
• The isomorphism class of M(G,2) is unique among nonassociative Moufang loops constructed this way, confirming the construction's uniqueness.
• The paper establishes that the original Chein construction is the only such construction up to isomorphism and anti-isomorphism for nonabelian G.