On R. Griess' ''Friendly giant'' (Q799791): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q56083014, #quickstatements; #temporary_batch_1704699890056 |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Ulrich Dempwolff / rank | |||
Property / reviewed by | |||
Property / reviewed by: Ulrich Dempwolff / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The friendly giant / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Endliche Gruppen I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Large extraspecial subgroups of widths 4 and 6 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 15:42, 14 June 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