Abstract Algebra 9.1: Normal Subgroups