En matemáticas, un subgrupo normal o subgrupo distinguido "N" de un grupo "G" es un subgrupo invariante por conjugación; es decir, para cada elemento "n" de "N" y cada "g" en "G", el elemento "gng" está en "N".