The code and its equivariant placement
E8 and the Gaussian code
Let [formula in source] be the extended Hamming code [formula in source] — the unique doubly-even self-dual binary code of length [formula in source] , permutation equivalent to the first-order Reed–Muller code [formula in source] MS77. Its automorphism group has order [formula in source] , so [formula in source] admits exactly [formula in source] distinct placements (coordinate images) inside [formula in source] . F
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/001-section-the-three-objects-label-sec-setup.tex · lines 49 to 73
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.