Using combinatorial
methods, we will prove the following theorem on the permutation group S0 of a
countable set: If a permutation p ∈ S0 contains at least one infinite cycle then any
permutation of S0 is a product of three permutations each conjugate to p. Similar
results for permutations of uncoutable sets are shown and classical group theoretical
results are derived from this.