Structure of the Cayley-Dickson Algebras

Basic Information

• Paper ID: 2505.11747
• Title: Structure of the Cayley-Dickson algebras
• Author: G. P. Wilmot (University of Adelaide, Australia)
• Classification: math.RA (Rings and Algebras)
• Publication Date: arXiv:2505.11747v2 math.RA 13 Oct 2025
• Paper Link: https://arxiv.org/abs/2505.11747v2

Abstract

This paper treats the Cayley-Dickson process as a graded construction, providing rigorous definitions encompassing three types of associativity laws and non-associative components divided into four types. These simplify the Moufang ring identities and Mal'cev identities, the latter identifying non-associative Lie algebra structures. This structure is distinct for the first four power-associative algebras and exhibits the same pattern for at least the next three algebras. Through 3-cycles and pattern recognition, the structure reduces the set of 84 zero divisors to merely 7 in most cases (such as sedenions), and identifies subalgebras of power-associative algebras that provide zero divisors, thereby defining the structure of Cayley-Dickson algebras. Zero divisors and octonion cardinalities at all levels are derived. It is proven that split algebras are isomorphic for any power-associative algebra and share the same non-associative structure with different zero divisors. Due to the inclusion of new power-associative algebras into hypercomplex algebras, the use of the term "hypercomplex" is recommended.

Research Background and Motivation

Problem Background

The Cayley-Dickson construction is the standard method for building hypercomplex algebras, starting from real numbers and successively constructing complex numbers, quaternions, octonions, and sedenions, among others. The traditional approach assumes these algebras possess symmetry in basis element arrangements, but this assumption is only valid for hypercomplex numbers.

Core Problems

1. Classification of non-associativity: Existing research lacks systematic classification of non-associativity in Cayley-Dickson algebras
2. Structure of zero divisors: The occurrence patterns and structural characteristics of zero divisors in higher-dimensional Cayley-Dickson algebras remain unclear
3. Identification of subalgebras: How to systematically identify and classify subalgebra structures within these algebras

Research Motivation

• Octonions introduce non-associativity in symmetric form, while higher-dimensional algebras exhibit asymmetric associativity
• Need to establish a rigorous mathematical framework to understand this asymmetry
• In particle physics applications, extension to higher dimensions may be unnecessary; octonions and pseudo-octonion algebras alone may suffice

Core Contributions

1. Introduction of graded notation system: Provides graded decomposition of the Cayley-Dickson construction, establishing natural ordering of basis elements
2. Four-fold classification of non-associativity: Divides non-associative triples into types A, B, C, and X, simplifying Moufang identities
3. 3-cycle and pattern theory: Establishes cycle and pattern theorems, systematically reducing zero divisors
4. Zero divisor counting formula: Derives universal formulas for the number of zero divisors in all Cayley-Dickson algebras
5. Complete subalgebra classification: Identifies embedding structures of octonion and three types of pseudo-octonion subalgebras
6. Isomorphism of split algebras: Proves all split hypercomplex algebras are mutually isomorphic
7. Terminological innovation: Introduces the concept of "hypercomplex" to distinguish from traditional usage

Methodology Details

Graded Cayley-Dickson Construction

Basic Definition

Define the basis of the n-th level Cayley-Dickson algebra to have $2^n$ graded elements, generated by the recursive relation: $A(n) = A(n-1) + A(n-1)(n)$

where set multiplication extends each member through n. Basis elements are denoted as $o_α$, where $α$ is an index set from $A(n)$.

Pyramid Construction

Using binary pyramid representation for graded pyramids: $a = (a_0, a_1) = ((a_{00}, a_{10}), (a_{01}, a_{11}))$

The i-th level Cayley-Dickson product is defined as: $(a_{αi0αi}, a_{αi1αi})(b_{βi0βi}, b_{βi1βi}) = (a_{αi0αi}b_{βi0βi} - ε_i b^*_{βi1βi}a_{αi1αi}, b_{βi1βi}a_{αi0αi} + a_{αi1αi}b^*_{βi0βi})$

Associativity Classification System

Triple Associativity Types

For triple $(b,c,d)$, three associativity types are defined:

• Type 1: $[b,a,c] ≈ [b,d,c] ≈ [a,b,d] ≈ [a,c,d]$
• Type 2: $[a,b,c] ≈ [b,c,d] ≈ [b,a,d] ≈ [a,d,c]$
• Type 3: $[a,c,b] ≈ [c,b,d] ≈ [a,d,b] ≈ [c,a,d]$

Four-fold Non-associativity Classification

Based on combinations of associativity types, four types of non-associativity are defined:

• Type A: Type 1 non-zero, Types 2 and 3 zero
• Type B: Type 2 non-zero, Types 1 and 3 zero
• Type C: Type 3 non-zero, Types 1 and 2 zero
• Type X: All three types non-zero

3-Cycle and Pattern Theory

3-Cycle Definition

Basis pairs in natural ordering form 3-cycles: $(b,c)$, $(b,bc)$, and $(c,bc)$, extending to triples yields 3-triple cycles: $(b,c,d)$, $(b,bc,d)$, $(c,bc,d)$.

Cycle Theorem

Among 64 possible non-associative 3-triple cycles, only 8 exist: AAA, ACC, XBB, BBA, BXC, CAB, CCX, and XXX.

Pattern Transformation

Four patterns are defined:

• Primary pattern: $(a+b)(c+d) = 0$
• Dual pattern: $(-d+b)(c+a) = 0$
• Extended pattern: $(a'+b)(c+|db|) = 0$
• Extended dual pattern: $(-|db|+b)(c+a') = 0$

Experimental Setup

Data Verification

The author uses a Python-based octonion/hypercomplex number calculator to verify all theoretical results, with code open-sourced on GitHub.

Computational Verification Scope

• Verified all Cayley-Dickson algebras from complex numbers to $U_7$ (1024-dimensional)
• Computed zero divisor counts, subalgebra counts, and other key numerical values
• Verified accuracy of theoretical formulas

Experimental Results

Zero Divisor Counting Results

Establishes a universal formula for zero divisor counts: $Z_m = \frac{1}{16}(N_m-1)(N_m-3)(N_m-7)$

where $N_m = 2^{m+3}-1$ is the number of pure basis elements in $U_m$.

Subalgebra Enumeration Results

• Octonion subalgebras: $O_m = S_{m+2}/7 - S_{m+1}$
• Pseudo-octonion subalgebras: $S_{m+1} = 7×(O_m + S_m)$
• Quaternion subalgebras: $H_m = \frac{1}{6}(N_m^2 - N_m)$

Specific Numerical Verification

Split Algebra Results

Proves all split hypercomplex algebras are mutually isomorphic with identical non-associative structure but different zero divisors. Split sedenions $\tilde{U}_1$ have 180 zero divisor pairs, while the non-split version has 84.

Related Work

Traditional Cayley-Dickson Theory

• Hurwitz's analysis of normed composition algebras
• Conway and Smith's geometric research on quaternions and octonions
• Harvey's spinor and calibrated geometry theory

Non-associative Algebra Research

• Moufang ring theory and identities
• Mal'cev algebras and non-associative Lie algebras
• Alternative ring structure theory

Physics Applications

• Baez's work on octonions in particle physics
• Furey's ladder operator research on division algebras
• Recent work on sedenion particle physics representations

Conclusions and Discussion

Main Conclusions

1. Establishes a complete classification system for non-associativity in Cayley-Dickson algebras
2. Proves zero divisors appear in multiples of 84 in these algebras
3. Identifies all possible subalgebra structures and their embedding patterns
4. Establishes correspondence between split and non-split algebras

Limitations

1. Theory primarily focuses on the first seven hypercomplex algebras; higher dimensions require further verification
2. Relationships with ideals (particularly in split cases) require deeper investigation
3. Exact relationship between pseudo-octonion algebras and exceptional Lie algebra $G_2$ remains to be clarified

Future Directions

1. Establish connections between split zero divisors and ideals
2. Deepen understanding of how zero divisors affect Mal'cev algebras
3. Investigate relationships among pseudo-octonion algebras
4. Explore why only three of six pseudo-octonion types are contained in power-associative algebras

In-Depth Evaluation

Strengths

1. Strong theoretical innovation: Introduces graded notation system, providing entirely new analytical framework
2. Complete systematicity: Establishes comprehensive theoretical system from basic definitions to advanced structures
3. Sufficient computational verification: Theoretical results comprehensively verified by computer programs
4. Broad application prospects: Provides new mathematical tools for particle physics and related fields

Weaknesses

1. Complex symbol system: Newly introduced graded notation may increase comprehension difficulty
2. Insufficient physical connections: While physics applications are mentioned, concrete physical interpretations are lacking
3. Overly technical proofs: Some theorem proofs may be unfriendly to non-specialist readers

Impact Assessment

1. Academic value: Provides important breakthrough in non-associative algebra theory
2. Practical value: Potentially applicable in quantum mechanics, particle physics, and related fields
3. Reproducibility: Open-source code ensures verifiability of results

Applicable Scenarios

• Theoretical research in non-associative algebras
• Algebraic structure analysis in particle physics
• Mathematical foundations in quantum information
• Extended applications of geometric algebra

References

This paper cites 25 important references, covering:

• Classical theory of Cayley-Dickson construction (Harvey, Conway & Smith)
• Foundational theory of non-associative algebras (Bruck, Sagle)
• Geometric applications of octonions (Baez, Dray & Manogue)
• Recent applications in particle physics (Furey, Gresnigt, et al.)

Overall Assessment: This is a paper with significant innovations in non-associative algebra theory. By introducing graded construction methods, it systematically addresses key problems in analyzing the structure of Cayley-Dickson algebras. The theory is rigorous, computational verification is comprehensive, and it provides a solid foundation for further development in this field.