[1] Mathematik, Gruppentheorie: eine Untergruppe ❬math❭N❬/math❭ einer Gruppe ❬math❭G❬/math❭, mit der für jedes ❬math❭g❬/math❭ aus ❬math❭G❬/math❭ gilt: ❬math❭gNg^{-1}= N❬/math❭.
Abkürzungen
❬math❭ N \triangleleft G ❬/math❭ (Abkürzung für die Relation, dass N Normalteiler von G ist.)