Past exam of the mathematics course of the University of Oxford / 2017 / Prelims / Mathematics I / 7 / a / Solution

A left group action is a map $a:G\times X\to X$ satisfyingDefine ${\rho }_a(g):X\to X$ by ${\rho }_a(g)(x)=a(g,x)$. The action axioms giveHence each ${\rho }_a(g)$ is a bijection, with inverse ${\rho }_a(g^{-1})$, and belongs to the symmetric group $\mathrm{Sym}(X)$. Finally,so ${\rho }_a:G\to \mathrm{Sym}(X)$ is a group homomorphism.