Using that a subgroup is normal
From Groupprops
This survey article is about how to use information about satisfaction of the following property: normal subgroup
Find other survey articles about normal subgroup | Find fact articles that prove satisfaction of this property
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 is a normal subgroup of a group
, we can consider the quotient group
. This has a number of applications:
- We might be able to use facts that we know about
to deduce constraints on
.
- We might be able to deduce facts about
from facts that we know about
and that we deduce about
.
- 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.
Theorem name/number | Statement |
---|---|
First isomorphism theorem | If ![]() ![]() ![]() ![]() ![]() ![]() |
Second isomorphism theorem (diamond isomorphism theorem) | If ![]() ![]() ![]() ![]() ![]() ![]() |
Third isomorphism theorem | If ![]() ![]() ![]() ![]() ![]() ![]() |
Fourth isomorphism theorem (lattice isomorphism theorem) | If ![]() ![]() ![]() ![]() ![]() |