Group of Permutations is Group

Theorem
Let $S$ be a set.

Let $\Gamma \paren S$ denote the set of all permutations on $S$.

Then the symmetric group on $S$ $\struct {\Gamma \paren S}$ forms a group.

Also see

 * Symmetric Group is Subgroup of Monoid of Self-Maps