The compact exceptional Lie group E7E_7 means here the compact, connected, simply connected simple with of Dynkin type E7E_7. It has rank 77, real dimension 133133, and center isomorphic to Z/2Z\mathbb Z/2\mathbb Z. Its is the whose complexification is .

Its smallest nontrivial complex representation is the faithful 5656-dimensional module 56\mathbf{56}, which preserves a nondegenerate alternating form. The adjoint representation has dimension 133133 and factors through the centerless adjoint quotient E7/(Z/2Z)E_7/(\mathbb Z/2\mathbb Z).

Global and real-form caveat

Some sources use “compact E7E_7” for the adjoint group. The and adjoint forms have the same Lie algebra, dimension, and local geometry, but the 56\mathbf{56} does not descend to the adjoint form. This knowl consistently uses the simply connected form.

Compact E7E_7 is not the E7(C)E_7(\mathbb C), nor a noncompact real form such as split E7(7)E_{7(7)}. Statements proved by complex root-space calculations must be translated carefully when global topology or disconnected stabilizers matter.

Translation of the three-generation construction

The three-generation construction performs its calculations in the complex Lie algebra e7\mathfrak e_7, but it can be translated to the compact real form and the compact

S(U(2)×U(3))(U(1)×SU(2)×SU(3))/Z6.S(U(2)\times U(3))\cong (U(1)\times SU(2)\times SU(3))/\mathbb Z_6.

At group level the subgroups integrating sl2so12\mathfrak{sl}_2\oplus\mathfrak{so}_{12} or sl3sl6\mathfrak{sl}_3\oplus\mathfrak{sl}_6 involve finite ; the displayed Lie-algebra direct sums alone do not determine those quotients.

References
  1. John Frank Adams, Lectures on Exceptional Lie Groups, University of Chicago Press, 1996, Chapters 7--9. Publisher record.
  2. Anthony W. Knapp, Lie Groups Beyond an Introduction, 2nd ed., Birkhauser, 2002, Chapter VII. Publisher record.
  3. John C. Baez, Three Generations in E7, 2026. arXiv:2608.06271.