Prove a subgroup of G/H X G/K is isomorphic to G/(H intersect K)

[Avatarjoe]

Homework Statement

Suppose H and K are normal subgroups of G. Prove that G/H x G/K has a subgroup isomorphic to G/(H\capK)

Homework Equations

The Attempt at a Solution

I was trying to find a homomorphism from G to G/H x G/K where G/(H\capK) is the kernal. Maybe something like if g is in H it getts mapped to (Hg, e), but nothing like that worked. I'm really stuck on this one.

 

[jbunniii]

Homework Statement

Suppose H and K are normal subgroups of G. Prove that G/H x G/K has a subgroup isomorphic to G/(H\capK)

The Attempt at a Solution

I was trying to find a homomorphism from G to G/H x G/K where G/(H\capK) is the kernal.

That doesn't make any sense, because G/(H \cap K) is not a subgroup of G. What you need is a homomorphism with kernel H \cap K.

Assuming you're working with right cosets, the natural homomorphism from G to G/H is g \mapsto Hg, and the natural homomorphism from G to G/K is g \mapsto Kg. Can you use these to construct a homomorphism from G to G/H x G/K?

 

[Avatarjoe]

That doesn't make any sense, because G/(H∩K) is not a subgroup of G. What you need is a homomorphism with kernel H∩K.

Assuming you're working with right cosets, the natural homomorphism from G to G/H is g↦Hg, and the natural homomorphism from G to G/K is g↦Kg. Can you use these to construct a homomorphism from G to G/H x G/K?

Right. Thanks, that is what I meant. So g↦ (Hg, Kg) is a homomorphism and that's easy to prove. Also H∩K will be the kernal. If I'm not mistaken, I just need to show that {Hg x Kg} is a subgroup of G/H x G/K and then the homomorphism will be onto that subgroup by the way I defined it. Then G/(H∩K) is isomorphic to {Hg x Kg}

Thanks for your help.

 

[jbunniii]

If I'm not mistaken, I just need to show that {Hg x Kg} is a subgroup of G/H x G/K

No need to do that - surely you have encountered the theorem that the image of a homomorphism is always a subgroup. If not, it's easy to prove - easier than trying to show it for a specific case like this one.

By the way, I understand what you mean by your notation, {Hg x Kg}, but I don't think it's very good notation. I would suggest writing something like \{(Hg, Kg) : g \in G\}.

 

[micromass]

Another question: have you seen the isomorphism theorems yet?? They might come in handy.

 

[jbunniii]

Another question: have you seen the isomorphism theorems yet?? They might come in handy.

I have been implicitly assuming that he has the first isomorphism theorem available. Avatarjoe, is that a valid assumption?