Define the notion of an action of a group $G$ on a set $X$. Define orbit and stabilizer, and then, assuming that $G$ is finite, state and prove the Orbit-Stabilizer Theorem.

Show that the group of rotations of a cube has order 24 .