DejarK ser un subgrupo de un grupoG. El conjuntoG/K de coconjuntos deK forma un grupo, llamado grupo cociente (o grupo factorial), bajo la operación Un subgrupoH de un grupo...DejarK ser un subgrupo de un grupoG. El conjuntoG/K de coconjuntos deK forma un grupo, llamado grupo cociente (o grupo factorial), bajo la operación Un subgrupoH de un grupoG se llama normal sighg−1∈H por cadag∈G,h∈H. EscribimosH⊴ para indicar queH es un subgrupo normal deG\text{.}
