Dados un subgrupo "H" de G, si "aH" = "Ha" para cada "a" en "G", es decir, las clases laterales por la izquierda y por la derecha coinciden, entonces "H" es un subgrupo normal.