vid. Every finite Group is isomorphic to a Subgroup of a Symmetric group.

In fact, generally, $G$ is isomorphic to a subgroup of $S(G)$ (or to $S_{|G|}$ if $G$ is finite).

Lemma

has some applications, for instance in Computer algebra