# Disjoint Cycles in a Cyclic Subgroup of $S_n$

If a permutation $\sigma$ $\in$ $S_n$, the permutation group of n elements, and $\sigma$ can be expressed as a product of disjoint cycles, is it necessary that the disjoint cycles be elements in $\langle{\sigma}\rangle$, the cyclic subgroup of $S_n$ generated by $\sigma$?

$Thanks$

• What do you mean by "expressed uniquely"? Disjoint cycles commute. – David Wheeler Jul 15 '15 at 11:51
• You're correct- I was thinking of something else while writing it. Good catch. – Alekos Robotis Jul 15 '15 at 17:00

## 1 Answer

If I understand your question correctly, the answer is no. For instance if $\sigma=(12)(34)$ in $S_4$, the cycle $(12)$ is not in the cyclic subgroup generated by $\sigma$.

• I think I began to realize this last night- but thank you for your confirmation. Could you possibly explain the correlation between orbits and disjoint cycles? The wikipedia article on the subject alludes to this, but I could not fully understand it. – Alekos Robotis Jul 15 '15 at 18:18
• I think typically if you have some group of permutations on a set $X$ (possibly a subgroup of $S_n$), the orbit of an element of $X$ is the set of elements it maps to under the group of permutations. For the subgroup generated by a single permutation, the orbit of an element is simply the set of elements in its cycle. For instance for the subgroup $\langle (123)(4567)\rangle$, the orbit of $5$ is $\{4,5,6,7\}$. – paw88789 Jul 15 '15 at 18:30