Al multiplicar por \(\sigma^{-1}\) a la izquierda se obtiene \(x=\sigma^{-1}\tau\), cuya lista es \([4,1,3,2]\). La opción \(\tau\sigma^{-1}\) multiplica del lado equivocado.
El grupo simétrico \(S_n\) es el conjunto de las biyecciones \(\sigma\) de \(\{1,\dots,n\}\) en sí mismo, con la composición \(\sigma\tau\) como operación.