On R. Griess' ''Friendly giant'' (Q799791): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q254321 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Ulrich Dempwolff / rank | |||
Normal rank |
Revision as of 07:29, 12 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On R. Griess' ''Friendly giant'' |
scientific article |
Statements
On R. Griess' ''Friendly giant'' (English)
0 references
1984
0 references
This paper in an improvement of a part of the construction of the Fischer-Griess simple group F given by the author [in Sémin. Bourbaki, 36e année, 1983/84, Exp. No.620, Astérisque 121-122, 105-122 (1985; reviewed above)]. As in the original contruction by \textit{R. Griess} [Invent. Math. 69, 1-102 (1982; Zbl 0498.20013)] the 196883-dimensional irreducible representation of F over \({\mathbb{Q}}\) is the starting point for the construction of F. The author begins with a 196883-dimensional representation of C which is an extension of an extraspecial group of order \(2^{1+24}\) by \(\cdot 1\). He shows that there is an algebra multiplication and a bilinear form on this module B which are invariant under C. By elementary means the author proves as his main result: \(\tilde F=Aut(B)\) is finite and \(C=C_{\tilde F}(z)\) for \(Z(C)=<z>\). Once one has established that \(\tilde F\neq C\) one can quote a result of \textit{S. D. Smith} [J. Algebra 58, 251-281 (1979; Zbl 0411.20009)] to obtain \(\tilde F\simeq F\).
0 references
Fischer-Griess simple group
0 references
irreducible representation
0 references
196883- dimensional representation
0 references