Abstract:The octonionic root system of the exceptional Lie algebra E_8 has been constructed from the quaternionic roots of F_4 using the Cayley-Dickson doubling procedure where the roots of E_7 correspond to the imaginary octonions. It is proven that the automorphism group of the octonionic root system of E_7 is the adjoint Chevalley group G_2(2) of order 12096. One of the four maximal subgroups of G_2(2) of order 192 preserves the quaternion subalgebra of the E_7 root system. The other three maximal subgroups of orders 432,192 and 336 are the automorphism groups of the root systems of the maximal Lie algebras E_6xU(1), SU(2)xSO(12), and SU(8) respectively. The 7-dimensional manifolds built with the use of these discrete groups could be of potential interest for the compactification of the M-theory in 11-dimension.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to determine the automorphism group of the octonionic root system, especially the automorphism group of the octonionic root system of the E7 Lie algebra. Specifically, the authors have proved that the automorphism group of the octonionic root system of E7 is the Chevalley group G2(2), whose order is 12096. In addition, they also explored the relationship between the maximal subgroups of G2(2) and the maximal Lie algebras of E7, and discussed the potential applications of these discrete groups in M - theory compactifications. ### Specific problem description 1. **Determination of the automorphism group**: - The authors' goal was to prove that the automorphism group of the octonionic root system of E7 is the Chevalley group G2(2), whose order is 12096. - By studying the octonionic root system of E7, they showed how to construct these roots and proved that their automorphism group is G2(2). 2. **Maximal subgroups and their physical significance**: - Study the maximal subgroups of G2(2) and explore the correspondence between these subgroups and the maximal Lie algebras of E7 (such as E6×U(1), SU(2)×SO(12), and SU(8)). - Discuss the potential applications of these discrete groups in M - theory compactifications, especially in 11 - dimensional supergravity theory. 3. **Detailed analysis of the mathematical structure**: - Use the Cayley - Dickson doubling procedure to construct the octonionic root system of E8 and show how to build the roots of E8 from the quaternionic root system of F4. - By studying the octonionic root system of E7, show how to use finite subgroups (such as the binary octahedral group) to keep certain subalgebras invariant. ### Main conclusions - **Determination of the automorphism group**: The automorphism group of the octonionic root system of E7 is the Chevalley group G2(2), whose order is 12096. - **Correspondence of maximal subgroups**: The maximal subgroups of G2(2) correspond respectively to the root systems of the maximal Lie algebras of E7. - **Physical applications**: These discrete groups may have potential applications in the compactification of the 11 - dimensional supergravity theory in M - theory. Through the study of these problems, the authors not only deepened the understanding of E7 and G2(2), but also provided new mathematical tools and perspectives for M - theory and other high - dimensional theories.

The Chevalley group G_{2}(2) of order 12096 and the octonionic root system of E_{7}

On pairs of root groups and reflections associated to the Chevalley group E6(K), in characteristic two

Real Fundamental Chevalley Involutions and Conjugacy Classes

Octonions, Albert vectors and the group E6(F)

Chevalley groups over $\Z$: A representation-theoretic approach

On the top-dimensional cohomology of arithmetic Chevalley groups

The Maximal Subgroups of the Exceptional Groups $F_4(q)$, $E_6(q)$ and ${}^2E_6(q)$ and Related Almost Simple Groups

Automorphisms of Chevalley groups over commutative rings

Octonions, Albert vectors and the group $\mathrm{E}_6(F)$

Octonionic Magical Supergravity, Niemeier Lattices, and Exceptional and Hilbert Modular Forms

The Isomorphism of $H_4$ and $E_8$

Structure of an exotic $2$-local subgroup in $E_7(q)$

Level one automorphic representations of an anisotropic exceptional group over $\mathbb{Q}$ of type $\mathrm{F}_{4}$

FRT Quantization Theory for the Nonsemisimple Cayley-Klein Groups

The character table of the finite Chevalley group $F_4(q)$ for $q$ a power of~$2$

SU(3) higher roots and their lattices

On realizations of the complex Lie groups $ (F_{4,R})^C, (E_{6,R})^C, (E_{7,R})^C ,(E_{8,R})^C$ and those compact real forms $F_{4,R},E_{6,R},E_{7,R},E_{8,R}$

Exceptional Siegel-Weil theorems for compact $\mathrm{Spin}_8$

On $p$-groups with automorphism groups related to the Chevalley group $G_2(p)$

The fundamental group of Galois covers of surfaces with octahedral envelope

The Irreducible Tensor Bases of Exceptional Lie Algebras 1. G2, F_4 and E_6