We will study what happens when a group acts on itself by “left multiplication”.
It turns out that this will allow us to prove Cayley’s theorem: Every group is isomorphic to some subgroup of some $S_n$.
This is interesting because it gives a kind of simple story of what all groups are like: They permute their own elements.
But first a few interesting generalizations along the way.