Normal subgroup - Definition


Normal subgroup - Definition

In mathematics, a normal subgroup N of a group G is a subgroup invariant under conjugation; that is, for each element n in N and each g in G, the element g^-1ng is still in N. The statement N is a normal subgroup of G is written:

<math>N\triangleleft G<math>.

Another way to put this is saying that right and left cosets of N in G coincide:

N g = g g⁻¹ N g = g N for all g in G.

A normal subgroup can also be defined by: A subgroup N of a group G is a normal subgroup if N is a union of conjugacy classes of G.

{e} and G are always normal subgroups of G. If these are the only ones, then G is said to be simple.

All subgroups N of an abelian group G are normal, because g⁻¹Ng = g⁻¹gN = N.

The normal subgroups of any group G form a lattice under inclusion. The minimum and maximum elements are {e} and G, the greatest lower bound of two subgroups is their intersection and their least upper bound is a product group.

Normal groups and homomorphisms

Normal subgroups are of relevance because if N is normal, then the factor group G/N may be formed. Normal subgroups of G are precisely the kernels of group homomorphisms f : G → H.

If H is normal, we can define a multiplication on cosets by

(a₁H)(a₂H) := (a₁a₂)H

This turns the set of cosets into a group called the quotient group G/H. There is a natural homomorphism f : G -> G/H given by f(a)=aH. The image f(H) consists only of the identity element of G/H, the coset eH = H.

In general, a group homomorphism f: G -> K sends subgroups of G to subgroups of K. Also, the preimage of any subgroup of K is a subgroup of G. We call the preimage of the trivial group {e} in K the kernel of the homomorphism and denote it by ker(f). As it turns out, the kernel is always normal and the image f(G) of G is always isomorphic to G/ker(f). In fact, this correspondence is a bijection between the set of all quotient groups G/H and the set of all homomorphic images of G (up to isomorphism).

Normal groups and homomorphisms

See also