Pues resulta que el núcleo es siempre normal y la imagen "f" "(G)" de "G" es siempre isomorfa "a G"/ker("f").