Symmetric groups are normal-comparable
This article gives the statement, and possibly proof, of a particular group or type of group (namely, Symmetric group (?)) satisfying a particular group property (namely, Normal-comparable group (?)).
We consider various cases:
- For an infinite set, the result follows from fact (1) (the Baer-Schreier-Ulam theorem) that classifies all normal subgroups of the symmetric group.
- For a finite set of size or : The alternating group is a simple normal subgroup, and is also of index two. Thus, any other proper nontrivial normal subgroup must intersect it trivially, and hence must be of order two. However, a normal subgroup of order two contains a non-identity central element, and we know that the group is centerless. Thus, the alternating group is the only proper nontrivial normal subgroup, and thus, any two normal subgroups are comparable.
- For a finite set of size : In this case, there are no proper nontrivial subgroups.
- For a finite set of size : In this case, there are two normal subgroups: a subgroup of order four comprising the double transpositions and the identity map, and the alternating group, which is of order twelve. The subgroup of order four lies inside the subgroup of order twelve.