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