# Find the orbit under the conjugation action

A group $G$ acts on itself via the conjugation action

$$\tau\cdot\sigma=\tau\sigma\tau^{−1}$$

Find the orbit of $\sigma=\left(123\right)$ under the conjugation action of $S_{3}$. Then find the stabilizer of $\sigma$. Check that the Orbit-Stabilizer theorem holds in this case.

My attempt:

Suppose $\tau$ and $\sigma$ are cycles, so there are $n!$ orderings of the symbols and $n$ rearrangements for each $n$-cycle, so in total there are $\left(n − 1\right)!$ $n$-cycles. Therefore $\sigma$ has $\left(n − 1\right)!$ elements.

Then apply the orbit-stabilizer theorem. Let $G=S_{3}$. Let $G\sigma$ be the orbit of $\sigma$ and $G_{\sigma}$ its stabilizer. Then

$$\left|G\sigma\right|=\left|G:G_{\sigma}\right|\rightarrow\left(n − 1\right)!=\frac{n!}{\left|G_{\sigma}\right|}\rightarrow\left|G_{\sigma}\right|=n=3$$

Am I right? And is this all I need to answer the question?

You're not addressing the question. You are asked to find explicitly both the orbit and the stabilizer of $\sigma$. The idea is that $\tau\left(a_{0}\dots a_{n}\right)\tau^{-1}=\left(\tau\left(a_{0}\right)\dots\tau\left(a_{n}\right)\right)$ so the orbit of a $3$-cycle is the set of all $3$-cycles, which contains $2$ elements and is easy to find. Now find all $\tau$'s that keep $\sigma$ unchanged. It is not too hard to check all $6$ elements of $S_{3}$. Now you should use the orbit-stabilizer theorem and show that it is satisfied.