Is it true that for each $x \in S_n$, there exist a cycle $y \in S_n$ such that $x = y^k$ for some $k \in \mathbb N$.
I am doing a work on semigroups and their associated graphs. I want to use this result.
Is it true that for each $x \in S_n$, there exist a cycle $y \in S_n$ such that $x = y^k$ for some $k \in \mathbb N$.
I am doing a work on semigroups and their associated graphs. I want to use this result.
No. Take $(12)(345)$ in $S_5$. This element has order $6$ but any cycle has order $5$ or less (and therefore any power of a cycle has order 5 or less).