————————————
Différentes preuves duthéorème de Wedderburn————————————
A.— Preuve utilisant la formule des classes pour l’a ion de conjugaison : Soit K un corps finide centre Z. Si q = ]Z alors il exi e n ≥ 1 tel que ]K = qn . On fait agir K ∗ sur lui-même parconjugaison. Pour tout x ∈ K ∗ , l’ensemble N (x) con itué du abilisateur de x auquel on a rajouté{0} e un sous-corps de K. Il exi e donc un entier δ(x) ≥ 1 divisant n tel que ]N (x) = qδ(x) . Par
définition de Z, les orbites pon uelles de K ∗ correspondent biunivoquement aux éléments de Z ∗ ,si bien que, si l’on considère x1 , · · · , xh une classe de représentants dans K ∗ des orbites, alors laformule des classes donneqn − 1 = ]K ∗ = ]Z ∗ +hX
i=1hX qn − 1K∗=q−1+N (xi )∗qδ(xi ) − 1i=1h
X
Xn − 1. La formule précédente se traduitX δ(xi ) − 1i=1par P (q) = q−1. Les propriétés classiques des polynômes cyclotomiques montrent que le polynôme
X n −1cyclotomique Φn (X) divise dans Z le polynôme Xd −1 pour tout diviseur d de n. Ainsi, Φn (X) e
un diviseur de P (X) et donc Φn (q) divise q − 1. Cette dernière propriété n’e possible que si n = 1,
car si n ≥ 2 alors |q − ξ| > |q − 1| pour toute racine primitive n-ième de l’unité ξ. Ainsi, n = 1 et
K = Z e commutatif.

On considère alors le polynôme P (X) = X n −1−B.— Preuve utilisant le théorème de Skolem-Noether : Rappelons le théorème en que ion,Théorème.— Soient A une algèbre simple de dimension finie sur son centre k et B1 , B2 deux sousalgèbres simples de A, k-isomorphes. Tout k-isomorphisme de B1 sur B2 se relève en un automorphismeintérieur de A.
Considérons un corps fini K et notons k son centre. Pour des raisons de cardinalité, K une
algèbre simple de dimension finie sur k. Les sous-corps commutatif maximaux de K ont mêmedimension sur k, ils ont donc même nombre d’éléments et sont donc isomorphes, puisque commutatifs. Le théorème de Skolem-Noether assure alors qu’ils sont conjugués deux-à-deux dansK.
Remarquons maintenant que si x ∈ K alors le corps k(x) e commutatif. Ainsi, tout élémentde K ∗ e contenu dans un sous-corps commutatif maximal de K. Ainsi, si l’on considère un souscorps commutatif maximal L, on a[K∗ =xL∗ x−1x∈K ∗∗ion de conjugaison de K sur l’ensemble des groupes multiplicatifs des sous-corps com-Pour l’amutatifs maximaux, le normalisateur de L∗ contient L∗ . On en déduit que le nombre n de parties
xL∗ x−1 e majoré par [K ∗ : L∗ ].
SConsidérons des éléments x1 , · · · , xn ∈ K ∗ tels que K ∗ = ni=1 xi L∗ xi−1 . Puisque ]K ∗ = ]L∗ .[K ∗ :PL∗ ] ≤ ] ni=1 xi L∗ xi−1 = n]L∗ , on en déduit que n = [K ∗ : L∗ ] et que, pour tout i , j, xi L∗ xi−1 ∩ xi L∗ xi−1 =F
∅ (i.e. K ∗ = ni=1 xi L∗ xi−1 ). Puisque 1 ∈ xi L∗ xi−1 pour tout i = 1, · · · , n, on en déduit finalement que
n = 1 et donc que K = L.

C.— Preuve utilisant la cohomologie des groupes cycliques : Considérons un corps fini K etnotons k son centre. En tant que k-algèbre simple centrale, K possède un corps neutralisant L, quie une extension commutative finie de k. Puisque L e un corps neutralisant de K, la classe deK dans le groupe de Brauer de k e dans le noyau de l’application canonique Br(k) −→ Br(L). La
théorie du groupe de Brauer assure que le noyau de ce morphisme e isomorphe au groupe decohomologie H2 (Gal(L/k), L∗ ). Nous allons montrer que ce dernier e nul, ce qui prouvera que laclasse de K dans Br(k) e trivial, c’e -à-dire que K = k.
La théorie de Galois assure que Gal(L/k) e un groupe cyclique, le groupe L∗ e lui aussi
cyclique et le théorème  d’Hilbert assure que H1 (Gal(L/k), L∗ ) = 0. La preuve s’achève en considérant le résultat classique de cohomologie des groupes cycliques :Proposition.— Soit C un groupe cyclique et G un C-groupe abélien. Si G e fini, alors H1 (C, G) et
H2 (C, G) sont des groupes finis de même ordre (i.e. le quotient de Herbrand vaut 1).

Les preuves qui suivent visent à montrer que le groupe de Brauer d’un corps fini (commutatif)e trivial. Cette propriété équivaut en fait au théorème de Wedderburn. En effet, si K e un corps
fini, dire que K e commutatif équivaut à dire qu’il e égal à son centre k, ce qui équivaut bien àdire que Br(k) e trivial pour tout corps commutatif fini k.

D.— Preuve utilisant théorème de Chevalley-Waring : Rappelons le théorème en que ion,Théorème.— Soient k un corps fini (commutatif), un ensemble finiXd’indices I et pour tout i ∈ I,fi (X1 , · · · , Xn ) ∈ k[X1 , · · · , Xn ] un polynôme sans terme con ant. Sid ◦ fi < n, alors les fi possèdenti∈Iun zéro non trivial en commun.
En particulier, les corps finis (commutatifs) sont C 1 , c’e -à-dire qu’ils vérifient que toute forme
de degré d en n variables possède un zéro non trivial dés que d < n. Les corps C 1 ont toujours ungroupe de Brauer trivial. Donnons quelques explications sur ce dernier point :Soient k e un corps C 1 et L/k une extension finie de degré n. Si l’on choisit une k-base(e1 , · · · , en ) de L, alors pour tout z ∈ k ∗ , l’application f : k n+1 −→ k définie parnf (x1 , · · · , xn , xn+1 ) = NL/k (x1 e1 + · · · + xn en ) − xn+1ze une forme de degré n en n + 1 variable. Elle possède donc un zéro (x1 , · · · , xn , xn+1 ) non trivial etce dernier ne peut pas vérifier que xn+1 = 0. On a donc z = NL/k ( xx1 e1 + · · · + xxn en ). On vient donc
n+1n+1de montrer que la norme NL/k e surje ive pour tout extension finie L/k. Cette dernière propriétée équivalente au fait que le groupe de Brauer de toute extension algébrique de k e trivial (voir[Serre, Cohomologie galoisienne, .. Proposition .]). En particulier, Br(k) = 0.

E.— Preuve utilisant la dimension cohomologique : Soit k un corps fini (commutatif). On saitque k ' Fq avec q = pa une puissance d’un nombre premier. La théorie de Galois montre que, pourtout n ≥ 1, k possède une et une seule extension de degré n : Fqn . L’extension Fqn /Fq e cyclique

et comme on a l’extension Fqm /Fqn si et seulement si n|m, on en déduit quebGal(k/k) = lim Gal(Fqn /Fq ) ' lim GalZ/nZ = Z←−−←−−b e prolibre (de rang 1), il e donc proje if (i.e. sa dimension cohomologiqueLe groupe profini Ze ≤ 1). D’après [Serre, Cohomologie galoisienne, .. Proposition .], cette propriété équivautaussi à dire que le groupe de Brauer de toute extension algébrique de k e trivial.

