Eine Untergruppe $N\le G$ heißt Normalteiler, wenn $gNg^{-1}=N$ für alle $g\in G$ gilt.
Notation: $N\trianglelefteq G$. Nur dann ist die Faktorgruppe $G/N$ wohldefiniert.