Normal subgroups
The subgroups whose left and right cosets agree: conjugation as relabelling, the families that are normal without computation, and why the condition is exactly what multiplying cosets requires.
About 25 minutes7 activities Paper packet