Grupo (normal / invariante)

Sea $ ( H \leq G ) $ H un subgrupo de G, se le llama grupo normal o grupo invariante si H genera un particionado con sus coclases invariante sobre la operación $ \circ $ " operación con la que tanto G como H tienen la estructura de grupo. " cuando un subgrupo es invariante se denota por: $$ ( H \unlhd G ) $$

Esto es lo mismo que decir: $$ g H = H g $$