Skip to content
Surf Wiki
Save to docs
general/sporadic-groups

From Surf Wiki (app.surf) — the open knowledge base

Fischer group Fi24

Sporadic simple group


Sporadic simple group

In the area of modern algebra known as group theory, the Fischer group Fi24 or F24 or F3+ is a sporadic simple group of order : 1,255,205,709,190,661,721,292,800 : = 22131652731113172329 : ≈ 1.

History and properties

Fi24 is one of the 26 sporadic groups and is the largest of the three Fischer groups introduced by while investigating 3-transposition groups. It is the 3rd largest of the sporadic groups (after the Monster group and Baby Monster group).

The outer automorphism group has order 2, and the Schur multiplier has order 3. The automorphism group is a 3-transposition group Fi24, containing the simple group with index 2.

The centralizer of an element of order 3 in the monster group is a triple cover of the sporadic simple group Fi24, as a result of which the prime 3 plays a special role in its theory.

Representations

The centralizer of an element of order 3 in the monster group is a triple cover of the Fischer group, as a result of which the prime 3 plays a special role in its theory. In particular it acts on a vertex operator algebra over the field with 3 elements.

The simple Fischer group has a rank 3 action on a graph of 306936 (=23.33.72.29) vertices corresponding to the 3-transpositions of Fi24, with point stabilizer the Fischer group Fi23.

The triple cover has a complex representation of dimension 783. When reduced modulo 3 this has 1-dimensional invariant subspaces and quotient spaces, giving an irreducible representation of dimension 781 over the field with 3 elements.

Generalized Monstrous Moonshine

Conway and Norton suggested in their 1979 paper that monstrous moonshine is not limited to the monster, but that similar phenomena may be found for other groups. Larissa Queen and others subsequently found that one can construct the expansions of many Hauptmoduln from simple combinations of dimensions of sporadic groups. For Fi24 (as well as Fi23), the relevant McKay-Thompson series is T_{3A}(\tau) where one can set the constant term a(0) = 42 (),

:\begin{align}j_{3A}(\tau) &=T_{3A}(\tau)+42\ &=\left(\left(\tfrac{\eta(\tau)}{\eta(3\tau)}\right)^{6}+3^3 \left(\tfrac{\eta(2\tau)}{\eta(\tau)}\right)^{6}\right)^2\ &=\frac{1}{q} + 42 + 783q + 8672q^2 +65367q^3+371520q^4+1741655q^5+\dots \end{align}

Maximal subgroups

found the 25 conjugacy classes of maximal subgroups of Fi24' as follows:

No.StructureOrderIndexComments
1Fi234,089,470,473,293,004,800
= 218·313·52·7·11·13·17·23306,936
= 23·33·72·29centralizer of a 3-transposition in the automorphism group Fi24
22 · Fi22:2258,247,006,617,600
= 219·39·52·7·11·134,860,485,028
= 22·37·72·17·23·29centralizer of an involution (bi-transposition)
3(3xO(3):3):289,139,236,659,200
= 213·314·52·7·1314,081,405,184
= 28·32·72·11·17·23·29normalizer of a subgroup of order 3
4O(2)25,015,379,558,400
= 220·36·52·7·11·1750,177,360,142
= 2·310·72·13·23·29
537 · O7(3)10,028,164,124,160
= 29·316·5·7·13125,168,046,080
= 212·5·72·11·17·23·29
631+10:U5(2):24,848,782,653,440
= 211·316·5·11258,870,277,120
= 210·5·73·13·17·23·29normalizer of a subgroup of order 3
7211·M24501,397,585,920
= 221·33·5·7·11·232,503,413,946,215
= 313·5·72·13·17·29
822 · U6(2):S3220,723,937,280
= 218·37·5·7·115,686,767,482,760
= 23·39·5·72·13·17·23·29centralizer of an involution in the automorphism group Fi24 (tri-transposition)
921+12 · 3 · U4(3).2160,526,499,840
= 221·37·5·77,819,305,288,795
= 39·5·72·11·13·17·23·29centralizer of an involution (tetra-transposition)
10[313]:(L3(3)x2)17,907,435,936
= 25·316·1370,094,105,804,800
= 216·52·73·11·17·23·29
1132+4+8.(A5x2A4).213,774,950,720
= 26·316·591,122,337,546,240
= 215·5·73·11·13·17·23·29
12(A4xO(2):3):212,541,132,800
= 215·37·52·7100,087,107,696,576
= 26·39·72·11·13·17·23·29
13, 14He:28,060,774,400
= 211·33·52·73·17155,717,756,992,512
= 210·313·11·13·23·29two classes, fused by an outer automorphism
1523+12.(L3(2)xA6)1,981,808,640
= 221·33·5·7633,363,728,392,395
= 313·5·72·11·13·17·23·29
1626+8.(S3xA8)1,981,808,640
= 221·33·5·7633,363,728,392,395
= 313·5·72·11·13·17·23·29
17(G2(3)x32:2).2152,845,056
= 28·38·7·138,212,275,503,308,800
= 213·38·52·72·11·17·23·29
18(A9xA5):221,772,800
= 29·35·52·757,650,174,033,227,776
= 212·311·72·11·13·17·23·29
19L2(8):3xA6544,320
= 26·35·5·72,306,006,961,329,111,040
= 215·311·5·72·11·13·17·23·29
20A7x7:6105,840
= 24·33·5·7211,859,464,372,549,713,920
= 217·313·5·7·11·13·17·23·29normalizer of a cyclic subgroup of order 7
21, 22U3(3):212,096
= 26·33·7103,770,313,259,809,996,800
= 215·313·52·72·11·13·17·23·29two classes, fused by an outer automorphism
23, 24L2(13):22,184
= 23·3·7·13574,727,888,823,563,059,200
= 218·315·52·72·11·17·23·29two classes, fused by an outer automorphism
2529:14406
= 2·7·293,091,639,677,809,511,628,800
= 220·316·52·72·11·13·17·23normalizer of a Sylow 29-subgroup

References

  • contains a complete proof of Fischer's theorem.
  • This is the first part of Fischer's preprint on the construction of his groups. The remainder of the paper is unpublished (as of 2010).
  • Wilson, R. A. ATLAS of Finite Group Representation.
Info: Wikipedia Source

This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page.

Want to explore this topic further?

Ask Mako anything about Fischer group Fi24 — get instant answers, deeper analysis, and related topics.

Research with Mako

Free with your Surf account

Content sourced from Wikipedia, available under CC BY-SA 4.0.

This content may have been generated or modified by AI. CloudSurf Software LLC is not responsible for the accuracy, completeness, or reliability of AI-generated content. Always verify important information from primary sources.

Report