# Baer-Schreier-Ulam theorem

Let $S$ be an infinite set and $\operatorname{Sym}(S)$ denote the symmetric group on $S$. For every cardinal $\alpha \le |S|$, define $\operatorname{Sym}_\alpha(S)$ as the group of all permutations on $S$ that move at most $\alpha$ elements. Then, the normal subgroups of $\operatorname{Sym}(S)$ are as follows:
• The subgroups $\operatorname{Sym}_{\alpha}(S)$ for all ordinals $\alpha \le |S|$, where $\operatorname{Sym}_{\alpha}(S)$ is the group of permutations whose support has size equal to the cardinality of any ordinal smaller than $\alpha$.