Se puede comparar también esta noción con la de subgrupo normal para la estructura algebraica de grupo en el sentido de que facilita definir la noción de anillo cociente como una extensión natural de la noción de grupo cociente .