I need some help with what should be a really simple group theory proof, but for some reason I'm hitting my head against a wall on this one. I seem to be missing something simple to get me to the next step.(adsbygoogle = window.adsbygoogle || []).push({});

I'm learning this stuff in Swedish, so I'm not sure about all the English words, but I'll try and make it at least clear. The problem is pretty simple. We just learned the Lagrange theorem and a few simple resulting theorems from that.

Let H and K be two normal cyclical subgroups to a finite group G. Let |H| and |K| be relatively prime. Show that:

HK = {hk | h element of H, k element of K}

is also a cyclical subgroup to G.

Showing it's a subgroup doesn't seem to be much problem, but showing it is cyclical is tripping me up. I _think_ I can do it if I show hk=kh for all h and k, but I'm not sure how to do this. I'm also not sure what the groups being normal has to do with it (if anything) since aren't all cyclical groups automatically normal (since they always commute, and all groups that commute are normal)?

I can see intuitively that the product of the generators to H and K should itself be a generator to HK, but I'm having trouble "proving" it more formally.

This feels like it should be really simple, with one little step I'm missing, but I can't see it.

Things I played around with: H and K have no undergroups in common, and I believe they have to be disjoint (one follows from the other I think, doesn't it?). I can see that the only hk that equals 1 is when they both equal one, which means that if hk commutes then (hk)^|H||K| = 1.

Anyway, any help or clues would be appreicated. Thanks.

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Help with a group theory proof

Loading...

Similar Threads for Help group theory | Date |
---|---|

Help needed to prove that SO(2) is a Lie group | Nov 7, 2013 |

Help Understanding Quotient Groups? (Dummit and Foote) | Jun 4, 2013 |

Help in understanding groups (undergraduate level). | Sep 7, 2011 |

Groups of order 21 (Need help understanding an inference) | Aug 18, 2011 |

Need Help in Direct Product and Quotient (factor) Group | Sep 15, 2010 |

**Physics Forums - The Fusion of Science and Community**