Using that a subgroup is normal

This article explores the various ways in which, given a group and a subgroup (through some kind of description) we can use the fact that the subgroup is a normal subgroup.

Ability to take the quotient group
One of the main advantages of working with normal subgroups is that we can take the quotient group of the whole group by the subgroup. Explicitly, if $$H$$ is a normal subgroup of a group $$G$$, we can consider the quotient group $$G/H$$. This has a number of applications:


 * We might be able to use facts that we know about $$H$$ to deduce constraints on $$G/H$$.
 * We might be able to deduce facts about $$G$$ from facts that we know about $$H$$ and that we deduce about $$G/H$$.
 * This might be the template for the induction step in a proof by induction. See induction for finite groups for more.

Examples of deducing the structure of the quotient group
We have the following structural restrictions on the quotient group:


 * The order of the quotient group equals the index of the normal subgroup (this is a corollary of Lagrange's theorem). This puts constraints on the nature of the quotient group based on information about the normal subgroup.
 * If the normal subgroup has a permutable complement in the whole group (i.e., it is a complemented normal subgroup), it is isomorphic to the quotient group.

Using the isomorphism theorems
Normal subgroups set the stage for using the isomorphism theorems. The major ones are listed below.