El producto de las dos transposiciones es un 3-ciclo, de modo que el subgrupo contiene a la vez transposiciones y 3-ciclos: ya no cabe en un subgrupo propio y es todo \(S_3\), con 6 elementos.
El subgrupo generado por un subconjunto \(S\) de un grupo \(G\) es el menor subgrupo \(H\) de \(G\) que contiene a \(S\); se denota \(\langle S\rangle\) y a \(S\) se le llama conjunto de generadores.