More on the group \(Y_{555}\) and the projective plane of order 3 (Q2644762)

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\).