Normal subgroup

Definition

A subgroup H of a group G is termed normal if the following equivalent conditions are satisfied:

1. Given any $h\in H$ and $g\in G$, we have $ghg^{-1}\in H$
2. H occurs as the kernel of a homomorphism from G. In other words, there is a homomorphism $\phi :G\to K$ such that the inverse image of the identity element of K is H.
3. Every inner automorphism of G sends H to within itself
4. Every inner automorphism of G restricts to an automorphism of H
5. The left cosets and right cosets of H are always equal: $xH=Hx$

Some elementary examples and nonexamples

All subgroups in Abelian groups

In an Abelian group, every subgroup is normal. This is because if $G$ is an Abelian group, and $g,h\in G$, then $ghg^{-1}=h$.

More generally, any subgroup inside the center of a group is normal.

It is not, however, true that if every subgroup of a group is normal, then the group must be Abelian. A counterexample is the quaternion group.

All characteristic subgroups

A characteristic subgroup of a group is a subgroup which is invariant under all automorphisms of the whole group. Characteristic subgroups are normal, because normality requires invariance only under inner automorphisms, which are a particular kind of automorphism.

In particular, subgroups like the center, the commutator subgroup, the Frattini subgroup are examples of characteristic, and hence normal, subgroups.

A smallest non-example

The smallest example of a non-normal subgroup is a subgroup of order two in the symmetric group on three elements. Explicitly, we can take the cyclic subgroup of order two generated by the 2-cycle $(12)$ in the symmetric group of permutations on symbols $1,2,3$.

Quotient group

The quotient group of a group G by a normal subgroup N is defined as the set of (left or right) cosets:

$G/N=\{Nx:x\in G\}\,$

with the the group operations

$Nx.Ny=N(xy)\,$

$(Nx)^{-1}=Nx^{-1}\,$

and the coset $N=N1$ as identity element. It is easy to check that these define a group structure on the set of cosets and that the quotient map $q_{N}:x\mapsto Nx$ is a group homomorphism.

First Isomorphism Theorem

The First Isomorphism Theorem for groups states that if $f:G\rightarrow H$ is a group homomorphism then the kernel of f, say K, is a normal subgroup of G, and the map f factors through the quotient map and an injective homomorphism i:

$G{\stackrel {q_{K}}{\longrightarrow }}G/K{\stackrel {i}{\longrightarrow }}H.\,$

External links

• Normal subgroup on Mathworld
• Normal subgroup on Planetmath