Fischer group Fi23

In the area of modern algebra known as group theory, the Fischer group Fi₂₃ is a sporadic simple group of order

   4,089,470,473,293,004,800

= 2¹⁸Template:·3¹³Template:·5²Template:·7Template:·11Template:·13Template:·17Template:·23

≈ 4Template:E.

History

Fi₂₃ is one of the 26 sporadic groups and is one of the three Fischer groups introduced by Template:Harvs while investigating 3-transposition groups.

The Schur multiplier and the outer automorphism group are both trivial.

Representations

The Fischer group Fi₂₃ has a rank 3 action on a graph of 31671 vertices corresponding to 3-transpositions, with point stabilizer the double cover of the Fischer group Fi22. It has a second rank-3 action on 137632 points

Fi₂₃ is the centralizer of a transposition in the Fischer group Fi24. When realizing Fi₂₄ as a subgroup of the Monster group, the full centralizer of a transposition is the double cover of the Baby monster group. As a result, Fi₂₃ is a subgroup of the Baby monster, and is the normalizer of a certain S₃ group in the Monster.

The smallest faithful complex representation has dimension $782$. The group has an irreducible representation of dimension 253 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 Fi₂₃, the relevant McKay-Thompson series is $T_{3A}(\tau )$ where one can set the constant term a(0) = 42 (Template:OEIS2C),

$\begin{array}{cc}{j}_{3A}(\tau )& =T_{3A}(\tau )+42\\ & ={({\left(\frac{\eta (\tau )}{\eta (3\tau )}\right)}^6+3^3{\left(\frac{\eta (2\tau )}{\eta (\tau )}\right)}^6)}^2\\ & =\frac{1}{q}+42+783q+8672q^2+65367q^3+371520q^4+\dots \end{array}$

and η(τ) is the Dedekind eta function.

Maximal subgroups

Template:Harvtxt found the 14 conjugacy classes of maximal subgroups of Fi₂₃ as follows:

Maximal subgroups of Fi₂₃

No.	Structure	Order	Index	Comments
1	2.Fi22	129,123,503,308,800 =  218·39·52·7·11·13	31,671 = 34·17·23	centralizer of an involution of class 2A
2	OTemplate:Su(3):S3	29,713,078,886,400 =  213·313·52·7·13	137,632 = 25·11·17·23
3	22.U6(2).2	73,574,645,760 =  218·36·5·7·11	55,582,605 = 37·5·13·17·23	centralizer of an involution of class 2B
4	S8(2)	47,377,612,800 =  216·35·52·7·17	86,316,516 = 22·38·11·13·23
5	O7(3) × S3	27,512,110,080 =  210·310·5·7·13	148,642,560 = 28·33·5·11·17·23	normalizer of a subgroup of order 3 (class 3A)
6	211.M23	20,891,566,080 =  218·32·5·7·11·23	195,747,435 = 311·5·13·17
7	31+8.21+6.31+2.2S4	3,265,173,504 =  211·313	1,252,451,200 = 27·52·7·11·13·17·23	normalizer of a subgroup of order 3 (class 3B)
8	[310].(L3(3) × 2)	663,238,368 =  25·313·13	6,165,913,600 = 213·52·7·11·17·23
9	S12	479,001,600 =  210·35·52·7·11	8,537,488,128 = 28·38·13·17·23
10	(22 × 21+8).(3 × U4(2)).2	318,504,960 =  218·35·5	12,839,581,755 = 38·5·7·11·13·17·23	centralizer of an involution of class 2C
11	26+8:(A7 × S3)	247,726,080 =  218·33·5·7	16,508,033,685 = 310·5·11·13·17·23
12	S6(2) × S4	34,836,480 =  212·35·5·7	117,390,461,760 = 26·38·5·11·13·17·23
13	S4(4):4	3,916,800 =  210·32·52·17	1,044,084,577,536 = 28·311·7·11·13·23
14	L2(23)	6,072 =  23·3·11·23	673,496,454,758,400 = 215·312·52·7·13·17

References

• Template:Citation contains a complete proof of Fischer's theorem.
• Template:Citation 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).
• Template:Citation
• Template:Citation
• Template:Citation
• Wilson, R. A. ATLAS of Finite Group Representations.

External links

• MathWorld: Fischer Groups
• Atlas of Finite Group Representations: Fi23