Normal subgroup

In mathematics, a normal subgroup H of a group G is a subgroup invariant by conjugation; that is, for each element h in H and each g in G, the element h^-1 g h is still in H.

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

H g = g g^-1 H g = gH    for all g in G.