Definition

Given a group , a normal subgroup is a subgroup that is invariant under conjugation, that

Importance

Normal subgroups are important, since we can use them to create quotient groups . If we attempt this with other (non-normal) subgroups, then the cosets do not have the group structure we need.