Il s'agit ici de montrer, en exploitant le groupe de Klein, que $\mathfrak{A_4}$ n'est pas simple puis qu'il n'admet pas de sous-groupe d'ordre 6. On prouve au passage deux petits résultats généraux de théorie des groupes.
J'ai partiellement utilisé l'exemple page 64 du livre mis en référence (seconde édition), mais attention : j'ai réadapté le contenu de l'exemple pour construire mon développement. C'est donc un développement partiellement inventé, cependant il est facile à comprendre et à refaire.
Les énoncés des deux lemmes sont posés comme exercices dans le livre (cf. exercice 4.6 + exercice 1.12 question 1), de plus le dernier est corrigé par l'auteur en page 167.
Le dernier résultat témoigne que $\mathfrak{A}_4$ montre que la "réciproque" du théorème de Lagrange est fausse, dans le sens où pour tous entiers positifs $d$ et $n$ tels que $d$ divise $n$, tout groupe d'ordre $n$ n'admet pas nécessairement de sous-groupe d'ordre $d$.
Attention, ce développement est utilisé dans des leçons de votre couplage. Voulez-vous quand même le supprimer de votre couplage ?
Notre livre est édité !
Après plus d'un an et demi d'écriture, notre livre voit enfin le jour !
Cet ouvrage a été relu par des agrégatifs comme vous pour en faire un outil le plus utile possible !
Cet ouvrage propose une liste de développements analysés finement, replacés dans un contexte global listant le plus exhaustivement possible les imbrications des résultats avec le reste du monde mathématique. Le lecteur trouvera dans cet ouvrage toute les techniques fondamentales de preuve ainsi que des entraînements complets et pédagogiques afin d’être préparé au mieux pour le concours de l’agrégation de mathématiques.