Finitary symmetric group is characteristic in symmetric group
This article gives the statement, and possibly proof, of a particular subgroup or type of subgroup (namely, Finitary symmetric group (?)) satisfying a particular subgroup property (namely, Characteristic subgroup (?)) in a particular group or type of group (namely, Symmetric group (?)).
- Finitary alternating group is monolith in symmetric group
- Monolith is characteristic
- Finitary symmetric group equals center of symmetric group modulo finitary alternating group
- Characteristicity is quotient-transitive