Un subgrupo N de un grupo G se llama "subgrupo invariante o divisor normal " del grupo G, si para todo elemento n de N y cualquier elemento b de G, resulta formula_2 o de otra manera formula_3, para cualquier elemento formula_4 .