Book contents
- Frontmatter
- Contents
- Part I Fischer's Theory
- Part II The existence and uniqueness of the Fischer groups
- Introduction
- 7 Some group extensions
- 8 Almost 3-transposition groups
- 9 Uniqueness systems and coverings of graphs
- 10 U4(3) as a subgroup of U6(2)
- 11 The existence and uniqueness of the Fischer groups
- Part III The local structure of the Fischer groups
- References
- List of symbols
- Index
11 - The existence and uniqueness of the Fischer groups
Published online by Cambridge University Press: 06 August 2010
- Frontmatter
- Contents
- Part I Fischer's Theory
- Part II The existence and uniqueness of the Fischer groups
- Introduction
- 7 Some group extensions
- 8 Almost 3-transposition groups
- 9 Uniqueness systems and coverings of graphs
- 10 U4(3) as a subgroup of U6(2)
- 11 The existence and uniqueness of the Fischer groups
- Part III The local structure of the Fischer groups
- References
- List of symbols
- Index
Summary
In this chapter we show that there do indeed exist 3-transposition groups of type M(22), M(23), and M(24). In addition we prove the uniqueness of M(22), M(23), and M(24)′ as groups with a suitable involution centralizes Indeed we use the uniqueness results to establish the existence of the Fischer groups.
More precisely in 32.4 in [SG] it is shown that there exists a subgroup X of the Monster such that E(X) is quasisimple with center Z of order 3, X is the split extension of E(X) by an involution inverting Z, and E(X)/Z and X/Z are groups of type F24 and Aut(F24), respectively, in the sense of Sections 34 and 35 or the Introduction to Part II. In Theorem 35.1 we show each group of type Aut(F24) is generated by 3-transposition and is of type M(24). Hence Fischer's three 3-transposition groups exist, and, by Fischer's Theorem, groups of type Aut(F24) are unique up to isomorphism.
We characterize the Fischer groups (and M(24)′; = F24) via the centralizer of an involution by showing each group of type is of type M, for M = M(22) and M(23), and by showing all groups of type F24 are isomorphic. See the Introduction to Part II for an outline of the proofs of these results.
- Type
- Chapter
- Information
- 3-Transposition Groups , pp. 173 - 198Publisher: Cambridge University PressPrint publication year: 1996