Show that if $ab$ has finite order $n$, then $ba$ also has order $n$. - Fraleigh p. 47 6.46.
Attempted proof based on here and yahoo.
Given: $a,b$ elements of $G$, and $ab$ has finite order $n$.
Hence $\color{magenta}{|ab| = n} \iff (ab)^n = e$.
I must prove that $n$ is the smallest positive integer such that $(ba)^n = e.$ Notice:
$\begin{align}(\color{darkorange}{a}\color{darkcyan}{b})^n &= e \implies \color{darkorange}{a}\color{darkcyan}{b}(ab)^{n-1} = e \implies
\color{darkcyan}{b}(ab)^{n-1}\color{darkorange}{a} = e \implies (ba)^n = e
\end{align} $
$\implies |ba| \le n$.
Now I must prove that there's no positive integer $m$ such that $m<n$ and $(ba)^m = e.$
For a proof by contradiction, suppose $|ba|<\color{magenta}{n}$. Then we could apply the same reasoning to find that $ |ab| ≤
|ba| < \color{magenta}{|ab|}$, which is absurd.
So $|ba| = |ab| = n. \quad \blacksquare$
Questions
- Whence does $ |ab| ≤ |ba| $ arise, in the second last line?
- What's the intuition of the claim proved?
- How do you prognosticate that $|ba|<\color{magenta}{n}$ is impossible, and that you should prove it by contradiction?
Solution 1:
Since $x\mapsto bxb^{-1}$ is an automoorphism, you have implications both ways: $$(ab)^n=e\iff b(ab)^nb^{-1}=e\iff (ba)^n=e$$
Solution 2:
You have seen why $(ab)^n=e$ implies $(ba)^n=e$, but what you need to realize is that this is symmetric. The same logic shows that $(ba)^n=e$ implies $(ab)^n=e$!
The same is true for minimal $n$, so it follows that their orders must agree.