Find $ord_m b^2$ if $ord_m a = 10$ and $ab\equiv 1\pmod m$

If $ab \equiv 1 \pmod {m}$ and if $ord_ma=10$, find $ord_mb^2$.

Could somebody give me a hint? What I know is that $ab \equiv 1 \pmod {m}$ can be used when finding the multiplicative inverse. Would this mean that $10$ is the multiplicative inverse, so $b=10$? If so, what does this tell me, and how does it help me find $ord_mb^2$?

Thanks.


$\newcommand{\ord}{\operatorname{ord}}$No, $\ord_ma=10$ says that $a^{10}\equiv 1\pmod m$, but if $1\le n < 10$, then $a^n\not\equiv 1\pmod m$. That is, $10$ is the smallest positive integer $n$ such that $a^n\equiv 1\pmod m$. Similarly, $\ord_mb^2$ is the smallest positive integer $n$ such that $\left(b^2\right)^n\equiv 1\pmod m$, i.e., such that $b^{2n}\equiv 1\pmod m$.

You know that $ab\equiv 1\pmod m$. Clearly this implies that $(ab)^n\equiv 1\pmod m$ for all $n$, and in particular, $(ab)^{10}\equiv 1\pmod m$. But $1\equiv (ab)^{10}=a^{10}b^{10}\equiv 1\cdot b^{10}\pmod m$, so $b^{10}\equiv 1\pmod m$, and therefore $\left(b^2\right)^5\equiv 1\pmod m$. Thus, $\ord_mb^2\le 5$.

Is it possible that $\ord_mb^2<5$? No: it’s a basic theorem that if $c^n\equiv 1\pmod m$, then $\ord_mc\mid n$. We know that $\left(b^2\right)^5\equiv 1\pmod m$, so $\ord_mb^2\mid 5$. $5$ is prime, so $\ord_mb^2$ must be either $1$ or $5$. If it were $1$, that would mean that $b^2\equiv 1\pmod m$. What would that tell you about $a^2$? And why is that impossible?


If $ord_ma=d, ord_m(a^k)=\frac{d}{(d,k)}$ (Proof @Page#95)

$b\equiv a^{-1}\implies k=-1\implies (d,k)=(d,-1)=1$

So, $ord_mb=d=10$

Now, $ord_m(b^2)=\frac{d}{(d,2)}=\frac{10}{(10,2)}=5$