The degree bookkeeping
E8 and the Gaussian code
The exponents of [formula in source] are [formula in source] , the totatives of the Coxeter number [formula in source] Bou68. The character [formula in source] (residue mod [formula in source] ) splits them: the exponents [formula in source] are [formula in source] , and shifted by [formula in source] , [formula in source] the degree quadruple of the rank- [formula in source] complex reflection group [formula in sour
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/note_e8_gaussian_code/sections/002-section-explicit-character-basis-of-the-eight-coxeter-ch.tex · lines 107 to 133
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
No explicit verification citation is attached to this section in the registry.