Para cada \(k\in\{1,2,3\}\) hay una permutación que manda \(1\) a \(k\), así que la órbita es todo \(\{1,2,3\}\). El \(6\) es el orden de \(S_3\), no el tamaño de la órbita.
Si un grupo \(G\) actúa sobre un conjunto \(X\), la órbita de \(x\in X\) es el conjunto de todas sus imágenes \(g\cdot x\), y su estabilizador es el subgrupo de los elementos de \(G\) que lo dejan fijo.
\[\mathrm{Orb}(x)=\{g\cdot x : g\in G\},\qquad \mathrm{Est}(x)=\{g\in G : g\cdot x=x\}\]