next up previous
Next: Factor groups Up: Cosets Previous: Cosets

Normal subgroups

A subgroup N of a group G is a normal subgroup if the left coset gN and the right coset Ng are equal as sets for each tex2html_wrap_inline1099 . For a given tex2html_wrap_inline1373 , this does not mean that ng =gn. Rather, it means that for a given tex2html_wrap_inline1373 , there is an tex2html_wrap_inline1379 such that ng = gm.

Lots of examples of normal subgroups exist since every subgroup of an abelian group is a normal subgroup. For a non-abelian example, consider the subgroup of rotations in the symmetry group of the regular n-gon. This is a normal subgroup and although we could prove it by calculation it follows from the following result.

Any subgroup N of index 2 in a group G is a normal subgroup of G.

In the group tex2html_wrap_inline851 the subgroup consisting of the identity element and the rotation through tex2html_wrap_inline1393 is a normal subgroup.



Peter Williams
Sun Mar 30 14:48:35 PST 1997