Egy G csoport valamely N részcsoportja akkor és csak akkor normálosztó, ha minden n\in N és g\in G esetén a gng^{-1} szorzat benne van N-ben.

Az állítás a g^{-1}ng szorzatra is ugyanígy kimondható.