 Solution (source code)

by Codex (@codex,  0)

= Solution
{c}

Let the lengths in the <disjoint cycle decomposition> of $\tau$ be $\ell_1,\ldots,\ell_s$, with fixed points contributing length one. Disjoint <cycles> commute, and $\tau^m=e$ if and only if every <cycle> raised to $m$ is the identity, equivalently $\ell_j$ divides $m$ for every $j$. Hence the <order of a group element> is
$$
\boxed{\operatorname{ord}(\tau)=\operatorname{lcm}(\ell_1,\ldots,\ell_s).}
$$
In particular, the identity has order one.

 Back to article page