\(Y\)-groups via transitive extension
type: Item
instance of: scholarly article
title: \(Y\)-groups via transitive extension
zbMATH Open document ID: 0939.20031
published in: Journal of Algebra
publication date: 1999-12-20T00:00:00Z
review text: In [Lond. Math. Soc. Lect. Note Ser. 165, 46-62 (1992; Zbl 0821.20005)], the author showed that the \(Y\)-group \(Y_{555}\) with the spider relation is isomorphic to the bimonster. In this paper, he gives a different proof for this result. In fact he introduces a general method which is useful for handling all the other \(Y\)-groups, too. The basic idea is to attach to a \(Y\)-group a so-called \(Y\)-graph. Let \(Z\) be a \(Y_{pqr}\)-group, \(p\geq 2\), and \(x\) be the left terminal node of the Coxeter diagram. Let \(Z\lfloor x\rfloor\) be the group generated by all Coxeter generators of \(Z\) besides \(x\). The vertices of the graph are the cosets of \(Z\lfloor x\rfloor\) and the edges are the conjugates of \((Z\lfloor x\rfloor,Z\lfloor x\rfloor x)\). The study of this graph is the main object of the paper under review. The author shows that under certain conditions this graph is triangulable and then it is possible to determine the universal cover. In this way, he shows \(Y_{222}\cong 3^5:\Omega_5(3):2\), \(Y_{322}\cong 2\times\Omega_7(3)\), \(Y_{432}\cong 2\times Fi_{23}\), \(Y_{442}\cong 3Fi_{24}\), \(Y_{333}\cong 2\times 2^2\cdot{^2E_6(2)}\), \(Y_{433}\cong 2\times 2\cdot BM\), \(Y_{443}\cong 2\times M\) and finally \(Y_{444}\cong M\wr Z_2\). Remarkably the proofs are computerfree up to \(Y_{333}\cong 2^2\cdot{^2E_6(2)}\) which depends on a double coset enumeration due to S. A. Linton.
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 05C25
Mathematics Subject Classification ID: 20D08
zbMATH DE Number: 1348165
zbMATH Keywords: spider relations
zbMATH Keywords: bimonster
zbMATH Keywords: \(Y\)-groups
zbMATH Keywords: \(Y\)-graphs
zbMATH Keywords: Coxeter diagrams
zbMATH Keywords: Coxeter generators
zbMATH Keywords: universal covers
author: Alexander A. Ivanov
reviewed by: Gernot Stroth
MaRDI profile type: Publication
full work available at URL: jabr.1999.7882
OpenAlex ID: W1968777713
cites work: Q5289079
cites work: Q3684278
cites work: Q3035488
cites work: Q5289081
cites work: Q3840435
cites work: A uniqueness proof for the Monster
cites work: Q5289082
cites work: A geometric characterization of Fischer's Baby Monster
cites work: Q4284620
cites work: Presenting the Baby Monster
cites work: Distance-transitive representations of the sporadic groups
cites work: Non-abelian representations of some sporadic geometries
cites work: Q4892001
cites work: Some polar towers
cites work: Q3698994
cites work: Q4713562
cites work: Q5289083
cites work: Q3840447
cites work: Q4309517
cites work: Q4331782
cites work: Q3920241
cites work: On the Uniqueness of Fischer's Baby Monster
cites work: From the Monster to the bimonster
cites work: More on the group \(Y_{555}\) and the projective plane of order 3
cites work: Q3712472
cites work: Some \(Y\)-groups
DOI: 10.1006/JABR.1999.7882
Recommended article: Some \(Y\)-groups
Recommended article: Presenting the Baby Monster
Recommended article: Q4284620
Recommended article: Q5289079
Recommended article: Q4241965
Recommended article: Q4713562
Recommended article: 26 implies the Bimonster
Recommended article: Q5289083
Recommended article: From the Monster to the bimonster
Recommended article: Q5289081
description: scientific article; zbMATH DE number 1348165