Intereting Posts

Relation between AB and BA
n th derivative of complex exponential
Cubic diophantine equation
Proof about fibonacci numbers by induction
Maximum board position in 2048 game
Does $(\mathbf A+\epsilon \mathbf I)^{-1}$ always exist? Why?
Determining the result of Boolean shape operations on closed Bézier shapes
Is ln(n) transcendental for all integer $n > 1$?
Groups of order $n^2$ that have no subgroup of order $n$
Implicit function $y = e^{(y-1)/x}$
embdedding standard models of PA into nonstandard models
How to calculate the coordinates of orthocentre.!!
Identification of a curious function
Doubts on Mutually exclusive and Independent events
Is there a closed form for the infinite product $\prod_{n=0}^{\infty}\bigl(1+{x \over 2^n} \bigr)$

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?

- Question regarding matrices with same image
- Existence of $\sqrt{-1}$ in $5$-adics, show resulting sum is convergent.
- Showing isomorphism between two rings of fractions
- Count the number of elements of ring
- fields are characterized by the property of having exactly 2 ideals
- If $a^m=b^m$ and $a^n=b^n$ for $(m,n)=1$, does $a=b$?

- What are Free Objects?
- Harmonic Analysis on the real special linear group
- Proof of $\gcd(a,b)=ax+by$
- Multiplicative Inverse Element in $\mathbb{Q}{2}]$
- No group of order 400 is simple
- Finding the norm in the cyclotomic field $\mathbb{Q}(e^{2\pi i / 5})$
- Reference of a Theorem in Group Theory
- How to prove that G is a cyclic group
- Finding a common factor of two coprime polynomials
- Prove this set is a group.

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.

**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$.

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 $ba$. Hence the order of $ab$ and the order of $ba$ coincide.

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.$$

- Does the set of $m \in Max(ord_n(k))$ for every $n$ without primitive roots contain a pair of primes $p_1+p_2=n$?
- Is Ramanujan's approximation for the factorial optimal, or can it be tweaked? (answer below)
- Teaching myself differential topology and differential geometry
- Compute the limit of $\sqrt{1-a}\sum\limits_{n=0}^{+\infty} a^{n^2}$ when $a\to1^-$
- Maximising sum of sine/cosine functions
- Can a countable group have uncountably many subgroups?
- Limit involving $(\sin x) /x -\cos x $ and $(e^{2x}-1)/(2x)$, without l'Hôpital
- Relation of $\lVert \dot u \rVert_{W^1(\Omega)}$ to $ \lVert u \rVert_{W^1(\Omega)}$
- “If $f$ is a linear function of the form $f(x)=mx+b$, then $f(u+v)=f(u)+f(v).$” True or false?
- No maximum(minimum) of rationals whose square is lesser(greater) than $2$.
- Prove the set of which sin(nx) converges has Lebesgue measure zero (from Baby Rudin Chapter 11)
- Limit of integral without Taylor expansion
- Computing: $L =\lim_{n\rightarrow\infty}\left(\frac{\frac{n}{1}+\frac{n-1}{2}+\cdots+\frac{1}{n}}{\ln(n!)} \right)^{{\frac{\ln(n!)}{n}}} $
- Probability of balls in boxes
- Showing that Q is not complete with respect to the p-adic absolute value