Symmetric Group is Group

Theorem
Let $S$ be a set.

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

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

Also see

 * Symmetric Group is Subgroup of Monoid of Self-Maps