Todo grupo G contiene al menos dos subgrupo normales: el subgrupo trivial y el propio G; si no tiene ningún otro subgrupo normal entonces G es un grupo simple.