Finitary symmetric group equals center of symmetric group modulo finitary alternating group
We need to pove that if is such that , then . We do this by picking any , and show that is not contained in .
If , must move infinitely many elements. There are two cases, that are collectively exhaustive:
- contains infinitely many finite cycles.
- contains an infinite cycle.