Theorem
Two sporadic subgroups of the Baby Monster
The Fischer group Fi23 and Thompson sporadic group embed as maximal subgroups of the Baby Monster.
Statement
The Baby Monster has maximal subgroups isomorphic to the Fischer group and the Thompson sporadic group . Consequently there are injective group homomorphisms
The corresponding subgroup indices are
Interpretation
The assertion is that subgroups of these isomorphism types exist. It does not specify images of the matrix generators chosen in the individual catalogue models and does not classify all homomorphisms. The indices agree with exact division of the respective group orders.
References
- ATLAS, Baby Monster, Maximal subgroups of B, Fi23 and Th rows.