Hay un homomorfismo sobreyectivo "natural" π : "G" → "G"/"N", definido por π("g") = "gN".