Exercice 12, § 7

Le groupe défini par la présentation $\langle x, y ; x^3, y^2, (xy)^3 \rangle$ est isomorphe à $\mathfrak{A}_4$. (Montrer que les conjugués de y forment, avec l’élément neutre, un sous-groupe distingué d’ordre $\leq 4$ et d’indice $\leq 3$.)

EXERCICES