Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

How do I prove that if $a$, $b$ are elements of group, then $o(ab) = o(ba)$?

For some reason I end up doing the proof for abelian(ness?), i.e., I assume that the order of $ab$ is $2$ and do the steps that lead me to conclude that $ab=ba$, so the orders must be the same. Is that the right way to do it?

share|improve this question
    
Why on earth are you assuming that the order of $ab$ is $2$? –  Chris Eagle Dec 8 '12 at 11:14
2  
Dear @Siyanda, you got few good answers here; why don't accept one of them? Is that hard to chose one of them as the best answer for you? –  user26857 Apr 22 '13 at 20:04
    
This question is related to math.stackexchange.com/questions/225942/… –  user26857 Apr 22 '13 at 21:33
add comment

4 Answers

Hint: Suppose $ab$ has order $n$, and consider $(ba)^{n+1}$.

Another hint is greyed out below (hover over with a mouse to display it):

Notice that $(ba)^{n+1} = b(ab)^na$.

share|improve this answer
add comment

Here's an approach that allows you to do some hand-waving and not do any calculations at all. $ab$ and $ba$ are conjugate: indeed, $ba=a^{-1}(ab)a$. It is obvious (and probably already known at this point) that conjugation is an automorphism of the group, and it is obvious that automorphisms preserve orders of elements.

share|improve this answer
add comment

If $(ab)^n=e$ then $(ab)^na=a$. Since $(ab)^na=a(ba)^n$, $(ba)^n=e$. This proves that the order of $ba$ divides the order of $ab$. By symmetry, the order of $ab$ divides the order of $ab$. Hence the order of $ab$ and the order of $ba$ coincide.

share|improve this answer
    
I think the OP should note that the orders of $a$ and $b$ are both finite. –  B. S. Nov 15 '12 at 20:58
5  
@BabakSorouh Why? The order of ab may be finite while those of a and b are infinite. –  Did Nov 15 '12 at 21:11
add comment

By associativity, $(ab)^p=a(ba)^{p-1}b$ for $p\geqslant 1$. If $(ab)^p=e$ then $a(ba)^{p-1}b=e$, so $a(ba)^p=a$ and $(ba)^p=e$. We conclude that for $p\geqslant 1$, $$(ab)^p=e\Leftrightarrow (ba)^p=e.$$

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.