O(ab) when o(a) and o(b) are relatively prime

  • Thread starter Chen
  • Start date
  • #1
977
1
Hi,

I am trying to prove that if o(a) and o(b) are relatively prime, and ab = ba, then o(ab) = o(a)o(b). I'd appreciate it if someone could give me a nudge in the right direction because I've spent almost 2 days on this now and I got nowhere. Which is rather annoying considering this is the first exercice in the chapter and the rest I did without a problem, so there must be something simple here that I'm missing. :mad:

I already know that if (m, n) = 1 and m|k and n|k then mn|k. I think I can use this to prove what I need, if I can only show that o(a)|o(ab) and o(b)|o(ab). (Because I've already shown that o(ab)|o(a)o(b), so proving o(a)o(b)|o(ab) will be enough.)

Thanks!
Chen
 
Last edited:

Answers and Replies

  • #2
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
What's o(x)? The order of x in the group of interest?

I think a better approach would be to show o(ab) >= o(a) o(b)


(P.S. I no longer think this approach is better!)
 
Last edited:
  • #3
977
1
Yes. Any idea how I could go about showing that? :smile:
 
  • #4
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
o(a) | o(ab) sounds like Lagrange's theroem!

As for o(ab) >= o(a) o(b), for some reason the division theorem springs to mind.
 
  • #5
977
1
I thought Lagrange's theorem deals with orders of groups, not orders of elements... :confused:
 
  • #6
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
It does. That's called a hint. :smile:
 
  • #7
977
1
Sorry, I still don't get it. Which groups do you think should I define, to make use of Lagrange's theroem?

I tried defining H = <ab>, Ka = <a> and Kb = <b>. But then H is a subgroup of KaKb and the only thing I can learn from that is that the order of H (which is o(ab)) divides the order of KaKb (which is o(a)o(b)) - but I already know this...
 
  • #8
977
1
And by the way, this chapter of questions comes before the chapter on Lagrange's theroem and even before the chapter on cyclic groups - so I think there's a way to solve this problem without making use of either of those.
 
  • #9
matt grime
Science Advisor
Homework Helper
9,395
4
Look at the group generated by ab, if a is in it, then you are done, or if yuou can show a^r is in it where r is some number coprime to o(a)....
 
  • #10
matt grime
Science Advisor
Homework Helper
9,395
4
If you don't like that method, then how about this (which is essentially the same):

suppose that r is a positive integer and a^rb^r=e, then a^r=b^s, for some positive s (ko(b)-r for some multiple of o(b)). If we raise both sides to the power o(b), then a^(ro(b))=e from which it follows that o(a) divides r as o(a) and o(b) are coprime, and hence o(ab), by symmetry o(b) divides o(ab) and we are done.
 
  • #11
977
1
Thanks Matt, that did it. I took k=o(ab), then a^k=b^-k, raised to the power of o(b) etc.

By the way, while we're on the subject, can you guys think of any groups of infinite order, in which every element is of finite order? The only one I found was the group of all roots of unity in the complex with regular multiplication. Are there any more? (well I guess there are a lot more...)
 
  • #12
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
Take your favorite finite group, and take the group of all infinite sequences whose elements are in that group. (pointwise multiplication)
 

Related Threads on O(ab) when o(a) and o(b) are relatively prime

  • Last Post
Replies
3
Views
2K
Replies
27
Views
5K
Replies
12
Views
2K
  • Last Post
Replies
7
Views
2K
Replies
22
Views
4K
Replies
6
Views
9K
Replies
11
Views
5K
  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
2
Views
2K
Top