arXiv Science⌕ Search

arXiv · 2609.33331

The Conway-Parker algebra and the largest Fischer group

Abstract

We give a direct, self-contained construction of the three sporadic Fischer groups $\mathrm{Fi}_{24}'$, $\mathrm{Fi}_{23}$, and $\mathrm{Fi}_{22}$ from the $783$-dimensional Conway-Parker algebra. We prove that its distinguished roots define involutory algebra automorphisms whose projective actions generate the full Fischer $3$-transposition group $\mathrm{Fi}_{24}$. Its commutator subgroup gives $\mathrm{Fi}_{24}'$, while $\mathrm{Fi}_{23}$ and $\mathrm{Fi}_{22}$ arise as centralizer quotients associated with one and two commuting transpositions. The root and frame geometry determines the group orders and leads to elementary proofs of simplicity, as well as natural rank-three actions and nonsplit central extensions. The construction uses standard facts about the Golay code, Parker's loop, and $M_{24}$. It does not use the Monster or previously known existence or order results for the Fischer groups. Fischer's classification and later recognition theorems are used only for the final identification.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Gerald Höhn. 2026-09-27. The Conway-Parker algebra and the largest Fischer group. https://arxiv.org/abs/2609.33331

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Non-orientable surfaces have stably unbounded homeomorphism group

Building on recent work of Bowden, Hensel and Webb, we prove that the groups of homeomorphisms of the real projective plane and Möbius strip which are isotopic to the identity have an infinite dimensional space of non-trivial homogeneous quasi-morphisms. In particular, we show that they are stably unbounded, completing the answer to a question posed by Burago, Ivanov and Polterovich on the boundedness of diffeomorphism groups of surfaces.

math.GR↗