26 implies the Bimonster (Q5925854): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2081931069 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q56226509 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3684278 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3035488 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5289081 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3840435 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3998721 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5289082 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(Y\)-groups via transitive extension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5289083 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4241965 / rank | |||
Normal rank |
Latest revision as of 15:12, 3 June 2024
scientific article; zbMATH DE number 1567064
Language | Label | Description | Also known as |
---|---|---|---|
English | 26 implies the Bimonster |
scientific article; zbMATH DE number 1567064 |
Statements
26 implies the Bimonster (English)
0 references
27 June 2001
0 references
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).
0 references
sporadic simple groups
0 references
Monster
0 references
\(Y\)-groups
0 references
Bimonster
0 references
presentations
0 references
Coxeter relations
0 references
incidence graphs
0 references
projective planes
0 references
spider relation
0 references