Theorem
Generation module as an even exterior algebra
Adding two generation-root singlets to each 30-dimensional module gives Λeven C6, which restricts to ΛC5 and hence one full Standard Model generation.
Statement
For , define the -dimensional subspace
Then is an -submodule of the adjoint -module, and
the even exterior algebra of the defining module.
This is an isomorphism of modules and vector spaces. The subspace is not generally a Lie subalgebra of .
Restriction to sl5 and the Standard Model
For as -modules, the direct-sum exterior-algebra formula gives
Consequently as an -module, and its restriction to is the full one-generation Standard Model representation.
The two added singlets
The root spaces commute with , so they supply the trivial modules and . Under they model the right-handed neutrino gauge singlet and its antiparticle, completing the 30-dimensional module.
Dependence on choices and conventions
The spaces require a compatible Cartan subalgebra and a labeling of the three root lines. Exchanging with preserves but swaps the two singlet root spaces and hence the conventional degree-zero/degree-six assignment. Particle and antiparticle labels are likewise conventional; the module isomorphism is the invariant statement.
References
- John C. Baez, “Three Generations in E7,” 2026, Theorem 12. arXiv:2608.06271.
- John C. Baez and John Huerta, “The Algebra of Grand Unified Theories,” Bulletin of the American Mathematical Society 47 (2010), 483–552. arXiv:0904.1556.
- Benjamin Nasmith, “An Exceptional Combinatorial Sequence and Standard Model Particles,” 2020. arXiv:2012.03933.