More on the group Y₅₅₅ and the projective plane of order 3

DOI10.1016/0021-8693(91)90072-GMaRDI QIDQ2644762zbMATH OpenFDO

Authors Leonard H. Soicher

Publication date 1991

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0021-8693(91)90072-G

zbMATH Keywords

coset enumerationCoxeter graphCoxeter relationsepimorphismFischer-Griess monster groupincidence graphprojective planerelationsubgroupswreath product

Mathematics Subject Classification ID

Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Finite simple groups and their classification (20D05) Simple groups: sporadic groups (20D08) Subgroup theorems; subgroup growth (20E07) Generators, relations, and presentations of groups (20F05) Finite affine and projective planes (geometric aspects) (51E15)

Review text

Let Y be the group defined by the Coxeter graph \(\Gamma\) given in Fig. 1 of the paper together with the relation (1): \((ab_ 1c_ 1ab_ 2c_ 2ab_ 3c_ 3)^{10}=1\). It is known that there is an epimorphism \(\phi: Y\to M\wr 2\) (the wreath product of the Fischer-Griess monster group M with \(\Sigma_ 2)\). Also the structure of certain natural subgroups \(Y_{pqr}\) where \(1\leq p,q,r\leq 5\) of Y is known. Using coset enumeration procedures, the author proves: Theorem 2. \(L_ 4(3):2_ 2\leq F_ 4(2)\). Theorem 3. Let E be the group defined by the Coxeter relations of \(Y_{333}\) together with relation (1). Then \(Y_{333}\cong E\cong 2^{3\cdot 2}E_ 6(2)\). These results answer two queries in the ``Atlas of Finite Groups (1985; Zbl 0568.20001). Let \(\Delta\) be the incidence graph of the projective plane of order 3 and let D be the group defined by \(\Delta\) together with a certain hexagon relation (4). It is known that there is an epimorphism \(\psi: D\to Y\). The main result is: The Hexagon Theorem. \(\psi\) is an isomorphism. It should be noted that B. N. Cooperstein has shown that \(L_ 4(3)\leq F_ 4(2)\) and that Simon Norton has recently proved that \(Y\cong M\wr 2\).

Recommendations

• From the Monster to the bimonster
• Presenting the Baby Monster
• 26 implies the Bimonster
• scientific article; zbMATH DE number 4134298
• 21 involutions acting on the Moonshine module
• A proof by graphs that PSL(2,7)\(\cong PSL(3,2)\)
• Deflating infinite Coxeter groups to finite groups
• scientific article; zbMATH DE number 1346034
• scientific article; zbMATH DE number 3865575
• Y-groups via transitive extension

Cites work

• Double coset enumeration
• From the Monster to the bimonster
• scientific article; zbMATH DE number 4134298 (Why is no real title available?)
• scientific article; zbMATH DE number 3906699 (Why is no real title available?)
• scientific article; zbMATH DE number 278856 (Why is no real title available?)
• The maximal subgroups of F₄(2) and its automorphism group

Cited in

(7)

• Y-groups via transitive extension
• Deflating infinite Coxeter groups to finite groups
• The maximal subgroups of F₄(2) and its automorphism group
• scientific article; zbMATH DE number 4134298 (Why is no real title available?)
• On a conjecture of Martin on the parameters of completely regular codes and the classification of the completely regular codes in the biggs-smith graph
• The Monster is fabulous
• Locally toroidal polytopes of rank 6 and sporadic groups

This page was built for publication: More on the group \(Y_{555}\) and the projective plane of order 3

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2644762)