Subgrupo normal

En matemáticas, un subgrupo normal o subgrupo distinguido ${\displaystyle N}$ de un grupo ${\displaystyle G}$ es un subgrupo invariante por conjugación; es decir, para cada elemento ${\displaystyle n\in N}$ y cada ${\displaystyle g\in G}$, el elemento ${\displaystyle gng^{-1}}$ está en ${\displaystyle N}$. Se denota ${\displaystyle N\triangleleft G}$.