Fischer group Fi23

Algebraic structure → Group theory Group theory
Basic notions Subgroup Normal subgroup Quotient group (Semi-)direct product Group homomorphisms kernel image direct sum wreath product simple finite infinite continuous multiplicative additive cyclic abelian dihedral nilpotent solvable List of group theory topics
Finite groups Classification of finite simple groups cyclic alternating Lie type sporadic Lagrange's theorem Sylow theorems Hall's theorem p-group Elementary abelian group Frobenius group Schur multiplier Symmetric group Sn Klein four-group V Dihedral group Dn Quaternion group Q Dicyclic group Dicn
Discrete groups Lattices Integers (Z) Lattice Modular groups PSL(2,Z) SL(2,Z)
Topological / Lie groups Solenoid Circle General linear GL(n) Special linear SL(n) Orthogonal O(n) Euclidean E(n) Special orthogonal SO(n) Unitary U(n) Special unitary SU(n) Symplectic Sp(n) G2 F4 E6 E7 E8 Lorentz Poincaré Conformal Diffeomorphism Loop Infinite dimensional Lie group O(∞) SU(∞) Sp(∞)
Algebraic groups Elliptic curve Linear algebraic group Abelian variety

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

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

= 4089470473293004800

≈ 4×10¹⁸.

History

Fi₂₃ is one of the 26 sporadic groups and is one the three Fischer groups introduced by Bernd Fischer (1971, 1976) 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

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 where one can set the constant term a(0) = 42 ( A030197),

and η(τ) is the Dedekind eta function.

Maximal subgroups

Kleidman, Parker & Wilson (1989) found the 14 conjugacy classes of maximal subgroups of Fi₂₃ as follows:

• 2.Fi₂₂
• O₈⁺(3):S₃
• 2².U₆(2).2
• S₈(2)
• O₇(3) × S₃
• 2¹¹.M₂₃
• 3¹⁺⁸.2¹⁺⁶.3¹⁺².2S₄
• [3¹⁰].(L₃(3) × 2)
• S₁₂
• (2² × 2¹⁺⁸).(3 × U₄(2)).2
• 2⁶⁺⁸:(A₇ × S₃)
• S₆(2) × S₄
• S₄(4):4
• L₂(23)

References

• Aschbacher, Michael (1997), 3-transposition groups, Cambridge Tracts in Mathematics, 124, Cambridge University Press, doi:10.1017/CBO9780511759413, ISBN 978-0-521-57196-8, MR 1423599  contains a complete proof of Fischer's theorem.
• Fischer, Bernd (1971), "Finite groups generated by 3-transpositions. I", Inventiones Mathematicae, 13 (3): 232–246, doi:10.1007/BF01404633, ISSN 0020-9910, MR 0294487  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).
• Fischer, Bernd (1976), Finite Groups Generated by 3-transpositions, Preprint, Mathematics Institute, University of Warwick 
• Kleidman, Peter B.; Parker, Richard A.; Wilson, Robert A. (1989), "The maximal subgroups of the Fischer group Fi₂₃", Journal of the London Mathematical Society. Second Series, 39 (1): 89–101, doi:10.1112/jlms/s2-39.1.89, ISSN 0024-6107, MR 989922 
• Wilson, Robert A. (2009), The finite simple groups, Graduate Texts in Mathematics 251, 251, Berlin, New York: Springer-Verlag, doi:10.1007/978-1-84800-988-2, ISBN 978-1-84800-987-5, Zbl 05622792 
• Wilson, R. A. ATLAS of Finite Group Representations.

External links

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