Deflating infinite Coxeter groups to finite groups
It is shown that the group presented by the Coxeter relations of the incidence graph \(\text{Inc }{\mathbf P}_2\) of the projective plane over \(\text{GF}(2)\) together with the additional relation that all free 8-gons generate symmetric groups \(S_8\) is isomorphic to the group \(O_8^-(2):2\). The proof is obtained by considering a group \(G\) presented by the Coxeter relations of the \(Y_{333}\)-diagram and repeatedly adjoining affine \(A_7\) extending nodes. Considering \(G\) as reflection group and identifying the nodes of the diagram with root vectors this amounts to repeatedly adjoining root vectors. It is then shown that by careful choice of these root vectors the process closes with the graph \(\text{Inc }{\mathbf P}_2\) and \(G\) permutes a set of 136 root vectors exactly as \(O_8^-(2):2\) does. The proof now follows by triviality of the Schur multiplier of \(O_8^-(2):2\).NEWLINENEWLINENEWLINEThe paper is closely related to an earlier paper by J. H. Conway and the author where a similar result had been proved for the Bimonster \(M\wr 2\) and the incidence of the projective plane over \(\text{GF}(3)\) starting from the \(Y_{555}\)-diagram.NEWLINENEWLINEFor the entire collection see [Zbl 0980.00029].
- 26 implies the Bimonster
- scientific article; zbMATH DE number 4134298
- 21 involutions acting on the Moonshine module
- scientific article; zbMATH DE number 475355
- More on the group \(Y_{555}\) and the projective plane of order 3
- Y-groups via transitive extension
- scientific article; zbMATH DE number 278855
- scientific article; zbMATH DE number 524131
- scientific article; zbMATH DE number 3884187
- scientific article; zbMATH DE number 278856
This page was built for publication: Deflating infinite Coxeter groups to finite groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2782398)