Symmetric Group is Group

Theorem
Let $S$ be a set.

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

Then $\struct {\map \Gamma S, \circ}$, the symmetric group on $S$, forms a group.

Also see

 * Symmetric Group is Subgroup of Monoid of Self-Maps