Théorème de Burnside (groupe résoluble)

Raisonnons par l'absurde : G désigne un groupe non résoluble (noté multiplicativement et d'élément neutre noté 1) d'ordre pⁿ.q^m minimal.

• G est un groupe simple de centre {1} et n est non nul.

G n'est bien sûr pas trivial. S'il existait dans G un sous-groupe normal H différent de G et de {1} alors (par minimalité de G), H et G/H seraient résolubles donc G aussi, ce qui est exclu. Donc G est simple.

Si n était nul, G serait un q-groupe fini, donc nilpotent, donc résoluble, ce qui est exclu.

De même, G ne peut être abélien, car il serait alors nilpotent. Son centre n'est donc pas égal à G, donc (par simplicité de G) il est égal à {1}.

• Il existe dans G un élément g dont le nombre de conjugués est de la forme q^d pour un certain d>0.

L'un des théorèmes de Sylow montre que G contient un sous-groupe S d'ordre pⁿ. Comme S est un p-groupe non trivial, son centre Z(S) est encore non trivial. Fixons alors dans Z(S) un élément g différent de 1. Le nombre de conjugués de g est égal à l'indice du stabilisateur de g, qui divise l'indice q^m de son sous-groupe S. Ce nombre est donc de la forme q^d. De plus, l'entier d est strictement positif car g est différent de 1 donc non central dans G.

• Il existe un caractère irréductible χ non trivial, tel que l'entier χ(1) ne soit pas divisible par q et que le complexe χ(g) soit non nul.

Soit (χ_i)_1≤i≤h la famille des caractères (sur ) irréductibles de G (ici χ₁ désigne le caractère trivial). Comme g n'est pas dans la même classe de conjugaison que le neutre 1, la relation d'orthogonalité sur les colonnes de la table des caractères (en) du groupe^[4] donne :

Or les χ_i(g) sont des entiers algébriques, comme sommes de racines de l'unité. Si tous les caractères irréductibles non triviaux qui ne s'annulent pas en g prenaient en 1 une valeur multiple de q, on en déduirait que le nombre

est un entier algébrique (comme combinaison linéaire à coefficients dans d'entiers algébriques), ce qui est absurde. Cette contradiction démontre la proposition.

• Le nombre complexe q^d.χ(g)/χ(1) est un entier algébrique.

Soit u l'élément de l'algèbre du groupe G sur les nombres complexes égal à la somme des q^d éléments de la classe de conjugaison c_g de g. D'après le paragraphe Entier algébrique de l'article Algèbre d'un groupe fini, le complexe suivant est alors un entier algébrique :

• La nombre complexe χ(g)/χ(1) est un entier algébrique.

En effet, q étant premier avec χ(1), l'identité de Bézout montre l'existence de deux entiers a et b tels que :

La valeur recherchée est donc combinaison linéaire à coefficients entiers d'entiers algébriques, ce qui démontre la proposition.

• L'image de g, par la représentation ρ de caractère χ, est une homothétie.

Notons ζ le nombre complexe χ(g)/χ(1). C'est un entier algébrique non nul, donc sa norme N(ζ) (i.e. le produit de ses conjugués (en), c'est-à-dire des racines de son polynôme minimal sur Q) est un entier relatif non nul. Or ζ est une moyenne arithmétique de racines de l'unité (les valeurs propres de ρ(g)), donc ses conjugués aussi, donc tous sont de module inférieur ou égal à 1. Comme leur produit N(ζ) est de module supérieur ou égal à 1, tous sont en fait de module 1, en particulier ζ, ce qui signifie que les valeurs propres de ρ(g) sont égales, donc que ρ(g) est une homothétie.

• Conclusion

Soit N le noyau de ρ. L'homothétie ρ(g) est centrale dans Im(ρ) (qui est canoniquement isomorphe à G/N), alors que g n'est pas central dans G. Par conséquent, le sous-groupe normal N du groupe simple G est non trivial, donc égal à G, si bien que la représentation ρ est triviale, ce qui contredit le choix de χ (caractère non trivial).

Cette contradiction démontre le théorème.