Ce document est très long, mais c'est parce que j'ai mis beaucoup de commentaires et des démonstrations de quelques propriétés qu'on utilise dans le développement.
PS : Vers la fin j'utilise l'argument : "G est abélien donc non simple", mais c'est aussi parce que G est d'ordre non premier.
Je mets ce pdf ici car je n'ai pas trouvé de référence complète qui soit convaincante. Je trouve le développement mal fait dans 131 devs. L'essentiel du développement est dans le livre de Rauch mais j'ai du compenser certains résultats (ceux qui portent sur l'algèbre d'un groupe) par un exo corrigé qui se trouve dans NH2G2 II. Je n'exclus pas les erreurs et les coquilles, merci de me prévenir si vous en trouvez.
Modulable, rentable, exigeant, il n'est pas aussi stratosphérique qu'il donnerait l'air (surtout si on lit la preuve sur Wikipédia, qui diffère nettement de celle proposée ici ; en particulier on ne parle pas d'algèbre de groupe). Le seul vrai point noir est qu'il faut vouloir parler de représentations, mais le jury a l'air de bien aimer. Le développement est transversal, car les propriétés d'intégralité sont au cœur de la preuve ce qui motive sans problème les recasages dans les leçons d'anneaux. Le mot résoluble ne doit pas faire peur puisqu'en fait on n'utilise pas du tout cette propriété dans le développement, uniquement le fait que c'est une propriété de dévissage !
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.