9. Sylow theory

9.1 Group actions

In Definition 9.1, the author takes the following approach from Group action:

Therefore, one may equivalently define a group action of \(G\) on \(X\) as a group homomorphism from \(G\) into the symmetric group \(Sym(X)\) of all bijections from \(X\) to itself.