Exercise 1.2.12 (Group of rigid motions of a dodecahedron.)

Proof. Let $𝒟$ a regular dodecahedron ( $12$ faces, $20$ vertices), and $G$ be the group of rigid motions of $𝒟$.

$G$ acts on the set $𝒟$ by $g\cdot M=g(M)$ $(g\in G,M\in 𝒟)$. Using rotations of angles $2\pi ∕5$ and axe $0I$, where $I$ is a centre of a face, we can send $A$ on any vertex. So the action is transitive, there is a unique orbit ${\mathcal{}O}_A$, and $|{\mathcal{}O}_A|=|𝒟|=20$.

The stabilizer $G_A$ of $A$ has three elements: $G_A=\{e,\rho ,{\rho }^2\}$ where $\rho$ is the rotation of angle $2\pi ∕3$ and axe $\mathit{OA}$. By the fundamental theorem of group actions, $(G:G_A)=|\mathcal{}{O}_A|$, so

□