docoo
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 $$
--