(4) DejarH2 ser un subgrupo deG2 yH1 definir serϕ−1(H2); que es,H1 es el conjunto de todosg∈G1 tales queϕ(g)∈H2. La identidad está en\...(4) DejarH2 ser un subgrupo deG2 yH1 definir serϕ−1(H2); que es,H1 es el conjunto de todosg∈G1 tales queϕ(g)∈H2. La identidad está enH1 desdeϕ(e)=e′. Sia yb están enH1, entoncesϕ(ab−1)=ϕ(a)[ϕ(b)]−1 está enH2 desde H2es un subgrupo deG2. Por lo tanto,ab−1∈H1 yH1 es un subgrupo deG1. SiH2 es normal en\(G_2\text{,}…