If $σ ∈ S_n$ is a cycle of odd order $m$, show that $σ^2$ is also a cycle of the same order $m$

Solution 1:

Order of $\sigma$ is $m$. Let the order of $\sigma^2$ be $k$. Note that $k \leq m$ as $(\sigma^2)^m=(\sigma^m)^2=e$.

Now, $(\sigma^2)^k=e$ implies that $m$ divides $2k$. But $m$ is odd, and hence this implies that $m$ divides $k$. But $k \leq m$ which implies that $m=k$.

Solution 2:

Without loss of generality, let $σ = (123 · · · m)$ where $m$ is odd. Then, $σ^2 = (123 · · · m)(123 · · · m) = (135 · · · m246 · · ·(m − 1))$. QED

Solution 3:

Given , $\color{blue}{\sigma \in S_n}$ and $\color{blue}{o(\sigma) =m}$

Then, $\color{red}{\langle \color{blue}\sigma\rangle}$ is a cyclic group of order $m$.

Then for any $k\in \Bbb{Z}$ , $$\color{red}{\boxed{\color{blue}{o(\sigma^k) =\frac{m}{\color{red}{\gcd(k,m}}}}}$$

For the proof of the above theorem see here :

How to prove $|a^k|=n/\gcd(n,k)$ whenever $|a|=n$?

Now, $\color{blue}{o(\sigma^2)=\frac{m}{\color{red}{\gcd(2, m) }}}$

Given $m$ is odd. Hence, $\color{red}{\gcd(2, m) =1}$

Hence, $\color{blue}{o(\sigma^2) =m}$