Normal Subgroups—The Building Blocks of the Structure Theory

We have seen that the kernel of a group homomorphism φ: G -» H is a subgroup of G. Our object here is to study a special property of this kind of subgroup, which turns out to be the key to the whole structure theory.