This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Fischer groups | |
|---|---|
| Name | Fischer groups |
| Type | Sporadic simple groups |
| Notation | Fi22, Fi23, Fi24 |
| Discovered by | Bernd Fischer |
| Order | Approx. 64,561,751,654,400; 4,089,470,473,293,004,800; 125,520,570,919,066,172,129,280? |
| Family | Sporadic |
Fischer groups are three sporadic simple groups discovered in the 1970s that form one of the 26 recognized sporadic finite simple groups. They arise from investigations into 3-transposition groups and are denoted Fi22, Fi23, and Fi24 (with Fi24 having a triple cover often written Fi24'). Their discovery linked work in permutation group theory, algebraic combinatorics, and the classification program for finite simple groups.
Bernd Fischer's analysis of involution centralizers and 3-transposition structures led to the prediction and construction of three large simple groups named Fi22, Fi23, and Fi24. The groups play central roles in the web of sporadic groups studied alongside the Conway group Co1, Mathieu group M24, Janko groups, and Harada–Norton group. Their properties connect to lattice theory around the Leech lattice, module theory over finite fields such as GF(2), and automorphism groups associated with vertex operator algebras related to the Monster group.
Fischer formulated a program classifying groups generated by 3-transpositions, inspired by earlier work of Bertrand Russell? and later formalized in relation to ideas emerging from investigations by John G. Thompson and Walter Feit. He announced candidates in the 1960s–1970s era contemporaneous with constructions by John Conway, Robert Griess, and Berndt Fischer's peers. Concrete constructions used techniques from permutation group theory exemplified in studies by Charles Sims and computational methods later refined by researchers at institutions like the University of Cambridge and University of Michigan.
Fischer’s approach defined a 3-transposition group as a group generated by a conjugacy class of involutions whose pairwise products have order at most 3. From this axiomatic start he deduced specific centralizer structures for involutions that led to the existence of new simple groups. Constructions involved coset enumeration and presentations related to amalgams studied by Donald G. Higman and John McKay, as well as realizations inside permutation representations on sets connected to structures like Steiner systems studied by Richard M. Wilson. Later matrix and representation-theoretic constructions used modules over fields such as GF(3), GF(4), and GF(2), with computational verification employing algorithms developed by Leslie Lamport? and implemented in systems following the tradition of the Atlas of Finite Groups project.
Fi22 was the first of the series to be constructed explicitly; it admits a rank-3 permutation action and features subgroups related to U6(2), O7(3), and alternating groups like A_7. Fi23 is much larger, with involution centralizers containing groups isomorphic to Fi22 and subgroups connected to classical groups such as Sp6(2). Fi24, and its triple cover Fi24', is the largest and has deep ties to the Baby Monster and the Monster group via shared local subgroups; its involution centralizer structure features groups like He and connections to sporadic groups such as Suzuki group and Held group. Each group appears in the Atlas of Finite Groups tables and has been studied through maximal subgroup classification by mathematicians affiliated with projects at institutions like the University of Cambridge and research centers including the Mathematical Sciences Research Institute.
The Fischer groups have specific orders with large prime factorizations featuring primes like 11, 13, 17, 23, and 29 that appear in character tables compiled by the Atlas of Finite Groups authors. Their representation theory over fields such as GF(2), GF(3), and C yields minimal faithful module dimensions investigated by I. M. Isaacs and others. Characteristic 2 and 3 representations expose connections to lattice vertex operator algebra modules studied in work linked to Richard Borcherds and Igor Frenkel. Maximal subgroups include many classical and sporadic groups studied by researchers at the University of Oxford and University of Cambridge.
Fischer groups are part of the network of sporadic groups that includes the Monster group, Baby Monster, Conway group Co1, and other groups compiled in the Atlas of Finite Groups. Fi24' appears as a local subgroup in constructions that feed into the Monster via the Griess algebra and vertex operator algebra frameworks developed by Robert Griess and Igor Frenkel. McKay correspondences and observations by John McKay hint at deep connections among Fischer groups, affine Lie algebras like E8^1, and modular function phenomena explored by Ken Ono and Terry Gannon.
Beyond pure group-theoretic classification, Fischer groups inform research in algebraic combinatorics, coding theory linked to the Golay code and the Leech lattice, and theoretical physics through conformal field theory and vertex operator algebras investigated by Edward Frenkel and collaborators. Their study has driven development of computational group theory tools used in projects at the Mathematical Sciences Research Institute and implementations in software stemming from the GAP ecosystem. As exemplars of sporadic phenomena, they continue to influence research in finite group theory, representation theory, and connections between symmetry and number-theoretic modularity.
Category:Sporadic simple groups