e7 — split exceptional Lie algebra

The split real Lie algebra of type E7 is the real span of a Chevalley basis of $\mathfrak{e}_{7}(\mathbb C)$ , with the inherited bracket.

Construction and dimensions

The real dimension is 133 and the real split rank is 7. The basis has 7 Cartan directions and 126 root directions. Tensoring with $\mathbb C$ recovers the complex exceptional algebra. Different compatible Chevalley-basis choices give isomorphic real Lie algebras.

The common signature notation is $\mathfrak{e}_{7(7)}$ ; the parenthesized number is the number of positive minus negative Killing-form directions. It is not the dimension.

References

Knapp, Lie Groups Beyond an Introduction, digital second edition, §VI.1, Corollary 6.10 and Theorem 6.11, pp. 352–354; Appendix C.2, pp. 686–692.