Question

using theorem 11.10 (First Isomorphism Theorem), Show that G1xG2/G1x{e _G2} is iso to G2

Theorem 11.10 First Isomorphism Theorem. If ψ : G → H is a group homomorphism with K = kerψ, then K is normal in G. Let ϕ : G → G/K be the canonical homomorphism. Then there exists a unique isomorphism η : G/K → ψ(G) such that ψ = ηϕ.

Answer 1