Théorème de Burnside (Groupes simples)

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 !'

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.'

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.'