# Thread: Prove that ord(a) = ord(bab^(-1))

1. ## Prove that ord(a) = ord(bab^(-1))

Prove that $ord(a) = ord(bab^{-1})$

Here's what I have so far:

Part 1: Show that $ord(bab^{-1}) = n$

Suppose that ord (a) = n,

Then $a^n = e$

The problem I'm having is using the Associative Law to show that $(bab^{-1})^n$ is also e.

Part 2: Show that ord (a) = n.

Suppose that $ord(bab^{-1}) = n$

Then $(bab^{-1})^n = e$

The problem I'm having at this part is using the Associative Law to show that $a^n = e$.

Help is appreciated.

2. Originally Posted by Iceflash234
Prove that $ord(a) = ord(bab^{-1})$

Here's what I have so far:

Part 1: Show that $ord(bab^{-1}) = n$

Suppose that ord (a) = n,

Then $a^n = e$

The problem I'm having is using the Associative Law to show that $(bab^{-1})^n$ is also e.

Part 2: Show that ord (a) = n.

Suppose that $ord(bab^{-1}) = n$

Then $(bab^{-1})^n = e$

The problem I'm having at this part is using the Associative Law to show that $a^n = e$.

Help is appreciated.
Well, clearly $(bab^{-1})=(bab^{-1}(bab^{-1})\cdots=ba^nb^{-1}=beb^{-1}=bb^{-1}=e$ so $|bab^{-1}|\leqslant n$ but what would happen if that inequality was strict?

3. Originally Posted by Iceflash234
Prove that $ord(a) = ord(bab^{-1})$

Here's what I have so far:

Part 1: Show that $ord(bab^{-1}) = n$

Suppose that ord (a) = n,

Then $a^n = e$

The problem I'm having is using the Associative Law to show that $(bab^{-1})^n$ is also e.

Part 2: Show that ord (a) = n.

Suppose that $ord(bab^{-1}) = n$

Then $(bab^{-1})^n = e$

The problem I'm having at this part is using the Associative Law to show that $a^n = e$.

Help is appreciated.

Hint: $\forall\,\,n\in\mathbb{Z}\,,\,\,(bab^{-1})^n=ba^nb^{-1}$

And remember that it is NOT enough to show $x^k=e$ to conclude that $ord(x)=k$: you must also show this k is the minimal natural number fulfilling that.

Tonio

4. Thanks! That helped.

I see clearly how to show bab^{-1} = e.

I'm not sure though how to show a^{n} = e for the second part.

5. Originally Posted by Iceflash234
Prove that $ord(a) = ord(bab^{-1})$

Here's what I have so far:

Part 1: Show that $ord(bab^{-1}) = n$

Suppose that ord (a) = n,

Then $a^n = e$

The problem I'm having is using the Associative Law to show that $(bab^{-1})^n$ is also e.

Part 2: Show that ord (a) = n.

Suppose that $ord(bab^{-1}) = n$

Then $(bab^{-1})^n = e$

The problem I'm having at this part is using the Associative Law to show that $a^n = e$.

Help is appreciated.
You are way to confused there. What you need to show that is that $a^n=e\,\Leftrightarrow\,(bab^{-1})^n=e$ (which will imply that $\mathrm{ord}(a)=\mathrm{ord}(bab^{-1})).$ To do this, you need to use tonio’s hint (which can be easily proved by induction).