+6.5.2 The fundamental theorem of homomorphism for groups Theorem 6.24 Leth be a normal subgroup of group G, and let g/H; be quotient group. Then f: G>G/H defined by f (g=Hg is an onto homomorphism, called the natural homomorphism ◆ Proof: homomorphism ◆Onto6.5.2 The fundamental theorem of homomorphism for groups  Theorem 6.24 Let H be a normal subgroup of group G, and let [G/H;] be quotient group. Then f: G→G/H defined by f(g)=Hg is an onto homomorphism, called the natural homomorphism.  Proof: homomorphism  Onto