Definition
Actions are permutations
The permutation representation
Trivial, faithful, kernel
Trivial and faithful kernels