Loops with involution and the Cayley-Dickson doubling process

Basic Information

• Paper ID: 2501.00123
• Title: Loops with involution and the Cayley-Dickson doubling process
• Authors: Adam Chapman, Ilan Levin, Uzi Vishne, Marco Zaninelli
• Classification: math.CO (Combinatorics), math.RA (Rings and Algebras)
• Submission Date: December 30, 2024 to arXiv
• Paper Link: https://arxiv.org/abs/2501.00123

Abstract

This paper develops the theory of loops with involution. Based on this foundation, the authors define the Cayley-Dickson doubling process on loops and use it to study the lattice of varieties of loops with involution, with particular focus on properties preserved under Cayley-Dickson doubling. The authors specifically investigate central extensions of abelian loops with elementary abelian 2-group quotients, finding conditions that characterize the automorphism groups of iterated Cayley-Dickson doublings. A key result is a corrected proof that for $n>3$, the automorphism group of the Cayley-Dickson loop $Q_n$ is $\text{GL}_3(\mathbb{F}_2) \times \{\pm 1\}^{n-3}$.

Research Background and Motivation

Historical Context

Non-commutative and non-associative algebras were born in 1843, two months apart, when Hamilton and Graves discovered quaternions and octonions respectively. The dimension-doubling process invented by Hamilton can be applied iteratively, producing a sequence of simple non-associative algebras of dimension $2^n$.

Problem Motivation

1. Algebraic Structure Problem: Why is $A_3$ characteristic in $A_4$ while $A_2$ is not characteristic in $A_3$ in higher-order Cayley-Dickson algebras?
2. Loop-Theoretic Correspondence: Exploring the correspondence of this problem in loop theory, studying the loop $Q_n$ composed of standard basis elements of the classical Cayley-Dickson algebra $A_n$ and their negatives.
3. Proof Correction: The proof in reference 16 regarding $\text{Aut}(Q_n) = \text{Aut}(Q_{n-1}) \times \{\pm 1\}$ contains erroneous claims and requires a correct proof.
4. Generalized Understanding: Seeking a more general framework to compute automorphism groups of iterated Cayley-Dickson doublings.

Core Contributions

1. Establishing Fundamental Theory of Loops with Involution: Develops systematic theory of loops with involution, defining special types such as central involutions and normal involutions.
2. Defining Cayley-Dickson Doubling on Loops: Generalizes the classical Cayley-Dickson construction to arbitrary loops with involution.
3. Studying Lattice Structure of Varieties: Introduces the concept of "derivative" to study the lattice of varieties of loops with involution, finding "perfect" varieties closed under the doubling process.
4. Characterizing Moufang Doubling Conditions: Determines conditions under which Cayley-Dickson doubling produces Moufang loops.
5. Correcting Automorphism Group Computation: Provides correct proof that $\text{Aut}(Q_n) = \text{GL}_3(\mathbb{F}_2) \times \{\pm 1\}^{n-3}$ for $n>3$.
6. Generalizing Automorphism Group Theory: Establishes a general framework for characterizing automorphism groups of iterated doublings under specific conditions.

Detailed Methodology

Fundamental Concept Definitions

Basic Loop Structure

A loop $L$ is a set with a binary operation, possessing an identity element, where left and right multiplication by any element is invertible. The nucleus $N(L)$, commutative center $K(L)$, and center $Z(L) = K(L) \cap N(L)$ are important substructures.

Classification of Involutions

The paper defines two classes of special involutions:

1. Central Involution: An involution $*$ is central if for each $a \in L$ there exists $\mu(a) \in Z(L)$ such that $a^* = \mu(a)a$.
2. Normal Involution: An involution $*$ is normal if $\nu(x) = x^*x \in Z(L)$ for all $x \in L$.

Supercentral Involution

A central involution $*$ is supercentral if additionally $\mu(a)^* = \mu(a)$ for all $a$, equivalent to $\mu(a)^2 = 1$.

Cayley-Dickson Doubling Construction

For a loop with involution $(L, *)$ and central element $\gamma$, the Cayley-Dickson doubling $D(L, *, \gamma) = L \cup Lj$ has multiplication defined by:

a(bj) = (ba)j                    (4.1)
(aj)b = (ab*)j                   (4.2)  
(aj)(bj) = γb*a                  (4.3)

The extension of involution is defined as $(aj)^* = (εa)j$, where $ε$ is a central element satisfying $ε^2 = 1$ and $(εγ)^* = εγ$.

Center Computation

Theorem: Let $M = D(L, *, γ)$ be a Cayley-Dickson doubling. Then:

• If $*$ is a non-trivial involution, then $Z(M) = Z(L, *)$ (symmetric central elements)
• If $*$ is the trivial involution, then $Z(M) = D(Z(L), γ)$

Transitivity of Central Extension Abelian Property

Theorem 6.8: Let $L$ be a central extension abelian loop with involution $*$, and $M = D(L, *, γ)$. Then:

$M$ is central extension abelian if and only if:

• $L$ is central extension abelian
• $[L, L, L] \subseteq Z(L, *)$
• $*$ is supercentral on $L$

Derivative Theory of Varieties

Define the derivative $V'$ of a variety $V$ as the variety of all loops $(L, *)$ such that $D(L, *, 1, 1) \in V$.

Perfect Varieties: Varieties satisfying $V' = V$ are called perfect; these varieties are closed under the doubling process.

Characterization of Moufang Doubling

Theorem 10.1: $D(L, *, γ)$ is a Moufang loop if and only if:

1. $L$ is a Moufang loop
2. $[a, cc^*] = 1$ for all $a, c \in L$
3. $[c, c^*] = 1$ for all $c$
4. $[a, c, c^*] = 1$ for all $a, c$
5. Every $cc^*c$ lies in the nucleus

Experimental Setup

Objects of Study

The paper primarily investigates the following types of loops:

1. Classical Cayley-Dickson Loops: $Q_n$ composed of standard basis elements of the classical Cayley-Dickson algebra $A_n$
2. Generalized Constructions: $(γ_0, ..., γ_{n-1})^ℓ$ denotes iterated doublings with scalars $γ_i$
3. Acceptable Loops: Loops satisfying $T \in ZA \cap E^2 \cap S^* \cap D$ and $K(T) = Z(T, *)$

Technical Conditions

• ZA: Variety of central extension abelian loops
• E²: Variety of loops where every $x^2$ is central
• S*: Variety of loops with central involution
• D: Variety of diassociative loops

Experimental Results

Main Results

Theorem 15.6 (Main Result): Let $T$ be an antisymmetric and anticommutative acceptable loop that is not an abelian group. Let $n \geq 2$, and $M = D^n(L, *; γ_0, ..., γ_{n-1}; ε_0, ..., ε_{n-1})$. Then:

$\text{Aut}(M) \subseteq \text{Aut}(T_1, *) \ltimes Z^{n-1}$

where $T_1 = D(T, *, γ_0, ε_0)$.

Application to Classical Case

Corollary 15.7: For any $n \geq 3$: $\text{Aut}(Q_n) = \text{Aut}(Q_3, *) \times \{\pm 1\}^{n-3}$

Since $\text{Aut}(Q_3) \cong \text{GL}_3(\mathbb{F}_2)$, we obtain: $\text{Aut}(Q_n) = \text{GL}_3(\mathbb{F}_2) \times \{\pm 1\}^{n-3}$

General Cayley-Dickson Algebras

Corollary 15.8: For any $n \geq 3$ and defining scalars $γ_0, ..., γ_{n-1} \in F^×$: $\text{Aut}_F((γ_0, ..., γ_{n-1})^ℓ) = \text{Aut}_F((γ_0, γ_1, γ_2)^ℓ, *) \times \{\pm 1\}^{n-3}$

Key Technical Results

1. Characteristic Subloop Theorem (Theorem 15.1): Under appropriate conditions, $L = D(T)$ is a characteristic subloop of its doubling $M = D(L)$.
2. Local Moufang Property: In acceptable diassociative loops, the generator $j$ is locally Moufang.
3. Dimension Increase: For $L \in ZA^0 \cap E^2 \cap S^*_0$, we have $\dim(M) \geq \dim(L)$, with equality if and only if the involution on $L$ is trivial.

Related Work

Historical Development

• Albert 1: Observed that Hamilton's process can be applied iteratively
• Schafer 21: Computed automorphism groups of higher-order Cayley-Dickson algebras
• Chein 5,6: Systematically studied Cayley-Dickson constructions of Moufang loops

Loop-Theoretic Background

• Bruck 3: Classical reference on loop theory
• Pflugfelder 19: Introduction to quasigroups and loops
• Evans 12: Survey on lattices of loop varieties

Related Constructions

• Kowalski 18: Proved that the variety of diassociative loops is not finitely based
• Chein-Goodaire 7,8: Studied Moufang loops with special commutators and associators

Conclusions and Discussion

Main Conclusions

1. Theoretical Framework: Establishes systematic theory of loops with involution, providing a unified framework for studying Cayley-Dickson doublings.
2. Automorphism Group Characterization: Completely characterizes automorphism groups of iterated doublings under appropriate conditions, resolving classical problems and correcting errors in the literature.
3. Variety Theory: Develops derivative theory for varieties of loops with involution, discovering multiple perfect varieties.
4. Moufang Property: Completely characterizes conditions under which doubling produces Moufang loops.

Limitations

1. Technical Conditions: Main results require loops to satisfy multiple technical conditions (acceptable, antisymmetric, anticommutative, etc.).
2. Dimension Restrictions: Certain results do not apply for dimensions less than 3.
3. Characteristic Restriction: Main results assume characteristic not equal to 2.

Future Directions

1. Extension to Other Algebraic Structures: Extend the theory to other non-associative algebras.
2. Computational Complexity: Study complexity of automorphism group computation.
3. Applications: Explore applications in coding theory, cryptography, and other fields.

In-Depth Evaluation

Strengths

1. Theoretical Depth: Establishes deep theory of loops with involution with clear concepts and complete structure.
2. Technical Innovation: Introduces new concepts such as central involutions and supercentral involutions, enriching loop theory.
3. Problem Resolution: Corrects erroneous proofs in the literature, providing complete and correct arguments.
4. Systematicity: Forms a complete theoretical system from fundamental concepts to applications.
5. Generality: Results apply to broad classes of loops, not limited to classical cases.

Weaknesses

1. Technical Threshold: Requires substantial specialized background knowledge, less accessible to non-specialists.
2. Limited Applications: Primarily theoretical results with unclear practical application scenarios.
3. Computational Complexity: Verification of certain conditions may be difficult in practice.

Impact

1. Theoretical Contribution: Makes important contributions to non-associative algebra theory, potentially influencing related field development.
2. Methodology: Provided technical methods may apply to research on other algebraic structures.
3. Subsequent Research: Establishes foundation for further research on Cayley-Dickson constructions and related problems.

Applicable Scenarios

1. Algebraic Geometry: Useful in studying geometric properties of non-associative algebras.
2. Representation Theory: May have applications in studying representations of related algebraic structures.
3. Theoretical Physics: May have application value in certain physical models.

References

The paper cites 39 related references covering important works in loop theory, non-associative algebras, Cayley-Dickson constructions, and other fields, demonstrating the comprehensiveness and depth of the research.