Théorème de Wedderburn

Théorème de Wedderburn

En mathématiques et plus précisément en algèbre, le théorème de Wedderburn affirme que tout corps fini est un corps commutatif. Son auteur, Joseph Wedderburn, l'a démontré en 1905.

Joseph Wedderburn

Sommaire

Énoncé du théorème

Théorème de Wedderburn. — Tout corps fini est commutatif.

Il est par ailleurs facile d'observer que tout anneau sans diviseur de zéro et fini est un corps (peut-être gauche), puisque la multiplication par un élément non nul, qui est injective par intégrité, est alors aussi surjective dans le cas fini. Puisque le théorème garantit l'inexistence d'un corps non commutatif fini, on en conclut qu'un anneau fini sans diviseur de zéro ne peut lui aussi qu'être un corps commutatif.

Remarque sur la terminologie : diverses sources, notamment sous l'influence de l'anglais où le mot field désigne un corps commutatif posent la commutativité de la multiplication dans la définition d'un corps fini. Le théorème n'aurait aucun sens si on interprètait ainsi l'expression « corps fini » qui y figure. L'énoncé doit être lu en y comprenant « corps » dans la signification la plus usitée en France[1], celle qui n'exclut pas une multiplication non commutative. En d'autres termes, le théorème énonce qu'un corps gauche (non commutatif) ne peut être fini.

Histoire

Leonard Eugene Dickson, professeur à l'université de Chicago, publie en 1901 la première présentation moderne de la théorie des corps commutatifs finis[2],[3] (théorie initiée par Evariste Galois en 1830). Oswald Veblen travaille à cette époque sur les géométries sur des structures finies dans la même université. Joseph Wedderburn les rejoint en 1904-1905 et travaille en étroite collaboration avec eux.

En 1905, Wedderburn et Dickson publient chacun un article où il est démontré que tout corps fini est commutatif. Dicskon attribue le résultat à Wedderburn. En effet, Wedderburn a communiqué une preuve du résultat à Dickson, et celui-ci, alors qu'il doute de sa véracité, finit par découvrir une preuve différente qu'il communique à son tour à Wedderburn. Ce dernier s'en inspire pour deux autres démonstrations qu'il publie, jointes à la première, dans son article. Ce n'est que plus tard que la première démonstration de Wedderburn apparut comme incomplète[4],[5],[6].

De nombreuses autres démonstrations de ce théorème, utilisant des outils mathématiques assez différents, ont été proposées depuis[6],[5]. La première preuve de Wedderburn a elle-même été corrigée de plusieurs façons[5].

Démonstration

La démonstration proposée ici est due à Ernst Witt[7],[8] en 1931. Elle peut se découper en quatre temps.

K est un espace vectoriel sur son centre

  • K est un corps fini. Soient Z son centre (c'est le plus grand sous-corps commutatif de K) et q = | Z | le cardinal de Z (qui vaut au moins 2 car Z contient 0 et 1).
  • K est un Z-espace vectoriel de dimension finie d= dimZ(K). On appelle aussi d le degré de K sur Z, noté [K : Z]. Le cardinal de K est alors |K| = qd. Il s'agit, pour prouver que K est commutatif c'est-à-dire K=Z, de démontrer que d = 1.
  • Pour tout corps intermédiaire Z\subset K' \subset K\;, la dimension d' de K' sur Z divise d, puisqu’on vérifie facilement[6] en prenant des bases que d = d''d', où d'' désigne la dimension de K considéré comme espace vectoriel (à gauche) sur le corps (non commutatif a priori) K' .

Soient x un élément de K et Zx l'ensemble des éléments de K commutant avec x. Zx est un sous-corps de K contenant Z. D'après le point précédent, dx=dimZ(Zx) divise d.

Formule des classes pour l'action de K× sur lui-même par conjugaison.

Article détaillé : Action par conjugaison.

Notons K× le groupe multiplicatif de K, constitué des éléments inversibles de K. K× agit sur lui-même par conjugaison par g.x = gxg^{-1} \; pour g,x \in K^\times \times K^\times\;.

  • Le cardinal de l'orbite \omega_x\; d'un élément x\; de K× est |\omega_x| = |K^\times|/|Z^\times_x|\; où, rappelons, Z^\times_x\ = \{g \in K^\times | g.x = x\}\;. La conjugaison est triviale sur Z ; les éléments de Z^\times\; ont une classe réduite à un élément.
  • Si (xi) est une suite de représentants des k orbites non ponctuelles, la formule des classes s'écrit :
|K^\times|=|Z^\times|+\sum_{i=1}^k\frac{|K^\times|}{|Z_{x_i}^\times|}\;

soit :

q^d -1=q-1+\sum_{i=1}^k\frac{q^d -1}{q^{d_{x_i}} -1}\;

En notant

F(X)=X^d -1-\sum_{i=1}^k\frac{X^d -1}{X^{d_{x_i}} -1} \;

on vient de voir que F(q)=q-1\;

Φd(X) divise F(X) dans Z[X]

La théorie des polynômes cyclotomiques usuels (qui sont à coefficients entiers) démontre l'égalité suivante, si Φe(X) désigne le polynôme cyclotomique d'indice e :

X^d-1=\prod_{e|d}\Phi_e(X)~ .

En particulier Φd(X) divise Xd - 1, et pour tout diviseur strict d' de d, Φd(X) divise aussi (Xd - 1)/(Xd' - 1) puisque

X^d-1=\Phi_d(X).C(X).(X^{d'}-1)~

pour un certain polynôme C(X) à coefficients entiers : le produit des Φe(X) pour tous les e qui divisent strictement d mais qui ne divisent pas d' .

Par conséquent, Φd(X) divise F(X) dans \Z[X]. En effet, pour tout xi dont l'orbite n'est pas ponctuelle, d_{x_i} est un diviseur strict de d donc le raisonnement précédent s'applique à d'=d_{x_i} et la conclusion suit, vue la définition de F(X).

Le trait vert correspond à q − 1 et le rouge à | q − u | .

Géométrie des racines primitives d-ièmes

  • On a obtenu 0 < q - 1 = F(q) =Φd(q)Q(q), où Q(q) est un entier, nécessairement non nul, donc |Q(q)| vaut au moins 1, si bien que
|\Phi_d(q)|\le q-1 .
  • Pour tout entier n ≥ 1, \Phi_n(q) =\prod (q-u_i), où ui décrit l'ensemble des racines primitives n-ièmes de l'unité. Comme l'illustre la figure ci-contre, si u est une racine primitive n-ième de l'unité avec n > 1, on a | q-u | > q - 1, donc
\forall n>1,\quad |\Phi_n(q)|>q-1 .
  • Les deux inégalités précédentes entraînent d = 1 ; ainsi K est commutatif. Le théorème est démontré.

Notes et références

Notes

  1. ↑ par exemple N. Bourbaki, Éléments de mathématique, Algèbre commutative, Chapitre 5, Hermann, 1964
  2. ↑ (en) Leonard Eugene Dickson, Linear Groups: With an Exposition of the Galois Field Theory (1901), rééd. Dover 2003 (ISBN 9780486495484), Cosimo 2007 (ISBN 9781602062870)
  3. ↑ (en) Rudolf Lidl et Harald Niederreiter (de), Finite Fields, Cambridge University Press, 1997, 2e éd. (ISBN 978-0-521-39231-0), p. 73 
  4. ↑ (en) K.H. Parshall (de), In pursuit of the finite division algebra theorem and beyond: Joseph H M Wedderburn, Leonard E Dickson, and Oswald Veblen, Arch. Internat. Hist. Sci. 33 (1983), p. 274-299
  5. ↑ a, b et c (en) M. Adam et B. J. Mutschler, On Wedderburn's theorem about finite division algebra : analyse de l'erreur de la première démonstration de Wedderburn
  6. ↑ a, b et c Gabriel Chênevert, Le théorème de Wedderburn : aperçu historique comparatif de diverses preuves, dont celle Theodore Kaczynski, qui n'emploie « que » la théorie des groupes finis
  7. ↑ (de) Ernst Witt, Über die Kommutatitivät endlicher Schiefkörper, Abh. Math. Sem. Univ. Hambourg, vol. 8 (1931), p. 413
  8. ↑ Martin Aigner (en) et Günter M. Ziegler (en), Raisonnements divins : Quelques démonstrations mathématiques particulièrement élégantes, traduit de l’anglais par Nicolas Puech, 2e éd., Paris, Springer-Verlag, 2006, chapitre 5, Tout corps fini est commutatif, p. 27-31

Références

  • Pierre Samuel, Théorie algébrique des nombres [détail des éditions]
  • Jean-Pierre Serre, Cours d'arithmétique [détail des éditions]
  • Guy Heuzé, Sur les corps finis, Mathématiques et Sciences Humaines, 1974
  • André Warusfel, Structures algébriques finies, Hachette Université, 1971

Article connexe

Automorphisme de Frobenius



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de Wedderburn de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Theoreme de Wedderburn — …   Wikipédia en Français

  • Théorème de wedderburn — …   Wikipédia en Français

  • Theoreme d'Artin-Wedderburn — Théorème d Artin Wedderburn En mathématiques et plus particulièrement en algèbre le Théorème d Artin Wedderburn traite de la structure d algèbre ou d anneau semi simple. Il correspond au théorème fondamental des structures semi simples et permet… …   Wikipédia en Français

  • Théorème d'artin-wedderburn — En mathématiques et plus particulièrement en algèbre le Théorème d Artin Wedderburn traite de la structure d algèbre ou d anneau semi simple. Il correspond au théorème fondamental des structures semi simples et permet d expliciter exactement leur …   Wikipédia en Français

  • Théorème d'Artin-Wedderburn — En mathématiques et plus particulièrement en algèbre le Théorème d Artin Wedderburn traite de la structure d algèbre ou d anneau semi simple. Il correspond au théorème fondamental des structures semi simples et permet d expliciter exactement leur …   Wikipédia en Français

  • Theoreme de Maschke — Théorème de Maschke Heinrich Maschke En mathématiques et plus précisément en algèbre, le théorème de Maschke est un des théorèmes fondamentaux de la théorie de la représentation des groupes. Ce théorème permet, si la caractéristique du corps est… …   Wikipédia en Français

  • Théorème de maschke — Heinrich Maschke En mathématiques et plus précisément en algèbre, le théorème de Maschke est un des théorèmes fondamentaux de la théorie de la représentation des groupes. Ce théorème permet, si la caractéristique du corps est soit nulle soit… …   Wikipédia en Français

  • Theoreme de Burnside — Théorème de Burnside Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le théorème de Burnside désigne, dans le contexte d une action de groupe, la formule des classes, dite formule de Burnside. Il existe …   Wikipédia en Français

  • Théorème de burnside — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le théorème de Burnside désigne, dans le contexte d une action de groupe, la formule des classes, dite formule de Burnside. Il existe aussi un résultat d… …   Wikipédia en Français

  • Théorème de Maschke — Heinrich Maschke En mathématiques et plus précisément en algèbre, le théorème de Maschke est un des théorèmes fondamentaux de la théorie des représentations d un groupe fini. Ce théorème établit que si la caractéristique du corps ne divise pas l… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”