Théorie des groupes/Le théorème p-q de Burnside

Modèle:Chapitre

Dans ce chapitre, on va démontrer le théorème p-q de Burnside, ou théorème p^a q^b de Burnside, selon lequel tout groupe fini dont l'ordre compte au plus deux facteurs premiers distincts est [[../Groupes résolubles|résoluble]]. La démonstration est celle que Burnside lui-même a donnée en 1904 à l'aide de la théorie des $ℂ$-caractères des groupes finis.

On resta environ soixante-cinq ans sans connaître de démonstration indépendante de la théorie des caractères. En suivant une indication de J. G. Thompson, D. Goldschmidt donna en 1970 une telle démonstration limitée aux groupes d'ordre p^a q^b impair et H. Bender compléta la démonstration en 1972.

La numérotation des énoncés fait suite à celle du chapitre précédent. Modèle:Clr

Modèle:Théorème Modèle:Démonstration déroulante
Modèle:Théorème Démonstration. On va utiliser le point 9° des rappels sur les nombres algébriques (chapitre [[../Caractères complexes des groupes finis, 1 : relations d'orthogonalité|Caractères complexes des groupes finis, 1]]).

Soit L l'extension de $\mathbb{Q}$ engendrée par ${\lambda }_1,\dots ,{\lambda }_d.$ Cette extension est de degré fini.

Soit $\sigma$ un « isomorphisme » de L dans $ℂ$. Il résulte des hypothèses de l'énoncé que $\sigma ({\lambda }_1),\dots ,\sigma ({\lambda }_d)$ sont des racines de l'unité non toutes égales entre elles donc, d'après le lemme précédent,

$|\sigma ({\lambda }_1)+\cdots +\sigma ({\lambda }_d)|<d$, soit $\left|\sigma \left(\frac{{\lambda }_1+\cdots +{\lambda }_d}{d}\right)\right|<1$.

En prenant le produit sur les « isomorphismes » $\sigma$ de L dans $ℂ$, on trouve

(1) $\left|N_{\mathbb{Q}}^L\left(\frac{{\lambda }_1+\cdots +{\lambda }_d}{d}\right)\right|<1$.

D'autre part, puisque, par hypothèse $({\lambda }_1+\cdots +{\lambda }_d)/d$ est un entier algébrique, son image par $N_{\mathbb{Q}}^L$ est un entier rationnel. D'après (1), la valeur absolue de cet entier rationnel est < 1, donc elle est nulle, ce qui prouve l'énoncé.

Modèle:Théorème Modèle:Démonstration déroulante
Modèle:Théorème DémonstrationModèle:,Modèle:,. Par définition, $\chi (g)$ est la trace de la matrice T(g). Puisque G est un groupe fini, cette matrice est un élément d'ordre fini du groupe $\mathrm{G}\mathrm{L}(d,ℂ)$. D'après le lemme précédent, l'énoncé sera donc démontré si nous prouvons que $\frac{\chi (g)}{d}$ est un entier algébrique.

Puisque d et $|\mathrm{Cl}(g)|$ sont supposés premiers entre eux, il existe des entiers rationnels $a$ et $b$ tels que

$a|\mathrm{Cl}(g)|+bd=1$.

En multipliant par $\chi (g)/d$, on obtient

(1) $\frac{\chi (g)}{d}=a\frac{|\mathrm{Cl}(g)|\chi (g)}{d}+b\chi (g)$.

Puisque $\chi$ est irréductible, il résulte du lemme 36 (chapitre [[../Caractères complexes des groupes finis, 2 : théorèmes sur les degrés|Caractères complexes des groupes finis, 2]]) que

(2) $\frac{|\mathrm{Cl}(g)|\chi (g)}{d}$ est un entier algébrique.

D'autre part, d'après le corollaire 10 (chapitre [[../Caractères complexes des groupes finis, 1 : relations d'orthogonalité|Caractères complexes des groupes finis, 1]]),

(3) $\chi (g)$ est un entier algébrique.

(1), (2) et (3) montrent que $\chi (g)/d$ est bien un entier algébrique, ce qui achève la preuve.

Modèle:Théorème Modèle:Démonstration déroulante

La dénomination « Théorème de non-simplicité de Burnside », qu'on donne ici au théorème qui suit, n'est pas standard, mais ce théorème a bien été démontré par BurnsideModèle:,Modèle:, et ajouté à son article, ce qui lui a permis de simplifier sa preuve initiale du théorème p^a q^b.

Modèle:Théorème Démonstration. Supposons que, par absurde,

(hyp. 1) $$G soit simple.

Désignons par ${\chi }_1,\dots ,{\chi }_h$ les différents $ℂ$-caractères irréductibles de G, en prenant pour ${\chi }_1$ le caractère constant de valeur 1 (caractère principal). Pour tout i dans {1, ... , h}, désignons par $d_i$ le degré de ${\chi }_i$ et choisissons une $ℂ$-représentation matricielle $T_i$ de G ayant ${\chi }_i$ pour caractère. Les $T_i$ sont donc irréductibles et deux à deux non équivalentes et $T_1$ est la $ℂ$-représentation matricielle triviale de degré 1 de G.

Il résulte alors du lemme 42 que

(2) pour tout $i\ge 2$, la représentation $T_i$ est fidèle.

Par hypothèse de l'énoncé, nous pouvons choisir un élément g de G tel que

$|\mathrm{Cl}(g)|=p^n$.

Comme g a plusieurs conjugués, il n'appartient pas au centre de G. Pour tout $i\ge 2$, d'après (2), la matrice $T_i(g)$ n'est donc pas scalaire. Par conséquent, d'après le lemme 41 :

(3) pour tout $i\ge 2$ tel que $d_i$ ne soit pas divisible par p, ${\chi }_i(g)=0$.

D'autre part, puisque g a plusieurs conjugués, il est distinct de 1 (nous avons d'ailleurs déjà noté qu'il n'appartient pas au centre de G) donc, d'après la seconde relation d'orthogonalité ([[../Caractères complexes des groupes finis, 1 : relations d'orthogonalité|Caractères complexes des groupes finis, 1]], théorème 31) :

$\sum _{i=1}^h{\chi }_i(1){\chi }_i(g)=0$

autrement dit, en divisant par p et en tenant compte de (3) :

(4) $\frac{1}{p}=-\sum _{\genfrac{}{}{0ex}{}{2\le i\le h}{p\mid d_i}}\frac{d_i}{p}{\chi }_i(g)$.

Or nous savons (nous l'avons déjà utilisé dans la preuve du lemme 41) que tous les ${\chi }_i(g)$ sont des entiers algébriques donc, d'après (4), 1/p est un entier algébrique, ce qui est faux (chapitre [[../Caractères complexes des groupes finis, 1 : relations d'orthogonalité|Caractères complexes des groupes finis, 1]], rappels sur les nombres algébriques, point 8°).

La contradiction obtenue prouve que notre hypothèse (1) est absurde, donc G n'est pas simple, ce qui démontre l'énoncé.

Modèle:Théorème Démonstration. Raisonnons par l'absurde, en supposant qu'il existe p et q premiers et un groupe G non résoluble d'ordre pModèle:ExpqModèle:Exp, et choisissons un tel G d'ordre minimum.

Alors G est simple, car s'il avait un sous-groupe normal H différent de 1 et G, les groupes H et G/H, ayant pour ordres des diviseurs stricts de pModèle:ExpqModèle:Exp, seraient résolubles (par minimalité de |G|), ce qui (chapitre [[../Groupes résolubles|Groupes résolubles]]) contredirait la non-résolubilité de G.

Cette simplicité de G entraîne que :

• puisque G est non abélien (car non résoluble), son centre est réduit à l'élément neutre, autrement dit {1} est la seule classe de conjugaison de G réduite à un élément ;
• d'après le théorème 43, p et q sont distincts et a et b sont non nuls, et le cardinal de toute autre classe de conjugaison (qui a priori divise |G|, cf. chapitre [[../Action de groupe|Action de groupe]], section Le centralisateur et le normalisateur vus comme stabilisateurs) est divisible par pq.

On déduit de ces deux points que modulo pq, |G| est congru à la fois à 1 et à 0.

Cette contradiction achève la preuve par l'absurde du théorème.