Fischer group Fi23


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

History

Fi23 is one of the 26 sporadic groups and is one of the three Fischer groups introduced by while investigating 3-transposition groups.
The Schur multiplier and the outer automorphism group are both trivial.

Representations

The Fischer group Fi23 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
Fi23 is the centralizer of a transposition in the Fischer group Fi24. When realizing Fi24 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, Fi23 is a subgroup of the Baby monster, and is the normalizer of a certain S3 group in the Monster.
The smallest faithful complex representation has dimension. 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 Fi23, the relevant McKay-Thompson series is where one can set the constant term a = 42,
and η is the Dedekind eta function.

Maximal subgroups

found the 14 conjugacy classes of maximal subgroups of Fi23 as follows:
No.StructureOrderIndexComments
12.Fi22129,123,503,308,800
= 218·39·52·7·11·13		31,671
= 34·17·23		centralizer of an involution of class 2A
2O:S329,713,078,886,400
= 213·313·52·7·13		137,632
= 25·11·17·23
322.U6.273,574,645,760
= 218·36·5·7·11		55,582,605
= 37·5·13·17·23		centralizer of an involution of class 2B
4S847,377,612,800
= 216·35·52·7·17		86,316,516
= 22·38·11·13·23
5O7 × S327,512,110,080
= 210·310·5·7·13		148,642,560
= 28·33·5·11·17·23		normalizer of a subgroup of order 3
6211.M2320,891,566,080
= 218·32·5·7·11·23		195,747,435
= 311·5·13·17
731+8.21+6.31+2.2S43,265,173,504
= 211·313		1,252,451,200
= 27·52·7·11·13·17·23		normalizer of a subgroup of order 3
8.663,238,368
= 25·313·13		6,165,913,600
= 213·52·7·11·17·23
9S12479,001,600
= 210·35·52·7·11		8,537,488,128
= 28·38·13·17·23
10..2318,504,960
= 218·35·5		12,839,581,755
= 38·5·7·11·13·17·23		centralizer of an involution of class 2C
1126+8:247,726,080
= 218·33·5·7		16,508,033,685
= 310·5·11·13·17·23
12S6 × S434,836,480
= 212·35·5·7		117,390,461,760
= 26·38·5·11·13·17·23
13S4:43,916,800
= 210·32·52·17		1,044,084,577,536
= 28·311·7·11·13·23
14L26,072
= 23·3·11·23		673,496,454,758,400
= 215·312·52·7·13·17