26 implies the Bimonster (Q5925854)

The authors give a geometric proof that the Bimonster, or wreathed square \(M\wr 2\) of the largest sporadic simple group, the Monster \(M\), is presented by the Coxeter relations of the projective plane of order 3 together with the additional relations that all free 12-gons generate symmetric groups \(S_{12}\). The proof is roughly obtained as follows: One starts with a group \(G\) presented by the Coxeter relations of the \(Y_{666}\)-diagram, adds subsequently nodes to \(A_{11}\)-subdiagrams of the \(Y_{666}\)-diagram (such that the \(A_{11}\)-diagram lies in a 12-gon), and shows that after closure of this procedure one obtains the incidence graph of the projective plane of order 3. Considering a certain subdiagram which must generate a subgroup \(O_8^+(2)\leq G\) one can now see that the so-called ``spider relation'' must hold in \(G\). Hence the result follows from a theorem by Ivanov and Norton. (Also submitted to MR).