משפטי האיזומורפיזם – הבדלי גרסאות

:'''משפט:''' אם <math>\ N\triangleleft G</math> וגם <math>\ M\triangleleft G</math>, וכמו כן <math>\ M\leq N</math>, אז <math>\ M \triangleleft N</math>, <math>\ (N/M)\triangleleft G/M</math>, ומתקיים <math>\ (G/M)/(N/M)\cong G/N</math>.