Please help me, Group Theory. Prove $b^{33}=e$.

Question

Let $G$ be a group and $a,b \in G$. Prove that if $a^{2}=e$ and $ab^{4}a=b^{7}$, then $b^{33}=e$, where $e$ is the identity of a group $G$.

Answer 1

So $\rm ab^4a=b^7$. Apply $\rm a$ on left and right to get $\rm ab^7a=b^4$. Then, using symmetry in calculation,

$$\rm ab^{4\times7}a=\begin{cases}(ab^4a)^7=(b^7)^7=b^{49} \\[3pt] \rm(ab^7a)^4=(b^4)^4=b^{16} \end{cases}$$

and so $\rm b^{49}=b^{16}\iff e=b^{49-16}=b^{33}$.

Note that since $\rm a^2=e\iff a=a^{-1}$, the map $\rm\Phi_a: x\mapsto axa=axa^{-1}$ is conjugation, which is a special type of automorphism. In particular $\rm\Phi_a(xy)=\Phi_a(x)\Phi_a(y)$ and thus $\rm\Phi_a(x^{n})=\Phi_a(x)^n$ for any elements $\rm x,y$ and integer ${\rm n}\in{\bf Z}$. We employed the latter exponential distributivity above.

Answer 2

$$b^{49} = (b^7)^7 = (ab^4a)^7 = a (b^7)^4 a = a (a b^4 a)^4 a = b^{16}.$$

Answer 3

Since $a$ is its own inverse, $b^4 = ab^7a = ab^8b^{-1}a = ab^4a ab^4a ab^{-1}a = b^{14} ab^{-1}a$. Therefore, $ab^{-1}a = b^{-10}$. Inverting both, $aba = b^{10}$. Now, $b^7 = ab^4a = abaabaabaaba = b^{40}$ gives the result.