Un -ciclo es un ciclo de la forma en el grupo simétrico . Estudiamos los subgrupos generados por varios conjuntos de -ciclos. Nuestro desarrollo matemático está fuertemente respaldado por experimentos computacionales y pruebas basadas en la programación de bricolaje con el lenguaje basado en lógica Maude.