Group Theory in a Nutshell: Taming the Monster

For a paper with much of the content below, please see: theoryofeverything.org/TOE/JGM/E8_and_H4_in_QM_and_QC.pdf, and associated Mathematica notebook here.

Y555 Hasse diagram

The wreath product of the Monster group with Z2 (M ≀ Z2) is the BiMonster, a quotient of the Y555 Dynkin diagram which contains six E8(Y124) Dynkin diagrams and the 23rd Niemeier lattice E83 root system. This can be reduced to Y444 by applying the spider relation to E83 .

Hasse diagram of sporadic groups in their Monster group subquotient relationships.

Happy Family genarations:
Red=Mathieu groups (1st)
Green=Leech lattice groups (2nd)
Blue=other Monster subquotients (3rd)
Black=Pariahs

Table of sporadic group orders (with Tits group).
Niemeier lattices with group structure, Dynkin diagram, Coxeter number, and group orders.
Kneser neighborhood graph of Niemeier lattices with associated Mathematica Notebook here.

Each color coded node represents one of the 24 Niemeier lattices, and the lines joining them represent the 24-dimensional odd unimodular lattices with no norm 1 vectors. The Coxeter number of the Niemeier lattice is to the left. The red node index number indicates the row in the table above.

Table of sublattices of Conway groups (Green nodes in the Monster Group sub-quotients graph at the top of the page)
The Freudenthal magic square

”The Freudenthal magic square includes all of the exceptional Lie groups apart from G2, and it provides one possible approach to justify the assertion that ”the exceptional Lie groups all exist because of the octonions: G2 itself is the automorphism group of the octonions (also, it is in many ways like a classical Lie group because it is the stabilizer of a generic 3-form on a 7-dimensional vector space, see prehomogeneous vector space.”

E8 Subgroup Tree with associated Mathematica Notebook here.

This E8SubgroupTree.nb Mathematica Notebook has interactive Tooltips on group nodes (with group data and Hasse diagram) and Tooltips on the subgroup edges (with its individual maximal embedding chart). Also in the notebook is one cell with a table of all of the above data plus the Dynkin diagram based maximal embedding charts and an example 2D or 3D polytope projection.

Leave a Reply