Sea \( A_\infty=\left<{\left\{{ \sigma\in{S_\mathbb{N}|\; \sigma\; es\; un\; 3-ciclo}}\right\}}\right> \), demostrar que \( A_\infty \) es simple.
Me dijeron que la demostración es una modificación de la de \( A_n \), con \( n\in{\mathbb{N}} \), pero esto no es tan claro como parece
