Un sottogruppo di di un gruppo si dice normale se:
Tip
Se è abeliano allora tutti i suoi sottogruppi sono normali.
Se è una congruenza di gruppi allora è un sottogruppo normale.
Inoltre se è congruenza si mostra: Di conseguenza se conosco conosco tutte le classi di equivalenza .