Non-compact simple Lie group \(E_{8(8)}\) (Q1089113)

An exceptional simple Lie algebra \({\mathfrak e}_ 8'\) of type \(E_ 8\) is defined. \(E_ 8'\) denotes the automorphism group of \({\mathfrak e}_ 8'\) and \({\mathfrak m}'=\{R\in {\mathfrak e}_ 8'|\) \(R\times R=0\), \(R\neq 0\}\). The main results of this paper: Theorem 3. The group \(E_ 8'\) acts transitively on \({\mathfrak m}'\) (which is connected) and the isotropy subgroup \((E_ 8')_ 1\) of \(E_ 8'\) at \(1\in {\mathfrak m}'\) is \((\exp (\beta ')\exp (R))E_ 7'\). Therefore we have the homeomorphism \(E_ 8'\simeq (\exp (\beta ')\exp (R))E_ 7'\). In particular, the group \(E_ 8'\) is connected. Theorem 14. The group \(E_ 8'=\{\alpha \in Iso_{{\mathbb{R}}}({\mathfrak e}_ 8',{\mathfrak e}_ 8')|\alpha [R_ 1,R_ 2]=[\alpha R_ 1,\alpha R_ 2]\}\) is homeomorphic to the topological product of the semispinor group Ss(16) and 128-dimensional Euclidean space \({\mathbb{R}}^{128}:\) \(E_ 8'\simeq Ss(16)\times {\mathbb{R}}^{128}\).