Definition

Actions make permutations

The permutation representation

Trivial, faithful, kernel

Trivial and faithful kernels