正规子群的同态保持证明 (4)Let H2 be a subgroup of G2 and define H1 to be (H2);that is, H1 is the set of all g∈G1 such thato(g)∈H2.正规子群的同态保持证明