El mapaϕ is onto, since any element in the image may be written as ρ(g) for some g, which is also the image of gK under ϕ. El tercer teorema del isomorfismo tiene una decl...El mapaϕ is onto, since any element in the image may be written as ρ(g) for some g, which is also the image of gK under ϕ. El tercer teorema del isomorfismo tiene una declaración particularmente agradable:(G/N)/(H/N)∼G/H, which one can relate to the the numerical identity
