théorème de Wedderburn

Imaginez un petit ensemble de nombres muni d’une addition et d’une multiplication. On peut additionner, multiplier, soustraire et diviser par tout élément non nul sans jamais sortir de l’ensemble. Au départ, rien n’oblige la multiplication à donner le même résultat quand on inverse l’ordre des facteurs.

Le théorème de Wedderburn révèle que la finitude suffit : dans un tel système fini, multiplier a par b revient toujours à multiplier b par a. Cette commutativité, habituellement posée comme une règle, devient ici une conséquence des autres propriétés.

Le théorème de Wedderburn, parfois appelé petit théorème de Wedderburn, porte sur une structure finie où l’addition et la multiplication vérifient les axiomes usuels, et où chaque élément non nul possède un inverse multiplicatif. Même si la commutativité de la multiplication n’est pas supposée, le théorème conclut qu’elle est inévitable : pour tous éléments a et b, $ab=baab=ba$.

Le nombre d’éléments, appelé cardinal, est nécessairement une puissance d’un nombre premier. Si p désigne ce nombre premier et n un entier naturel au moins égal à 1, le cardinal vaut q = pⁿ. La structure est alors isomorphe au corps de Galois GF(q), aussi noté F_pⁿ : l’isomorphisme signifie que les éléments peuvent être renommés sans changer les deux opérations.

En français, le mot « corps » inclut souvent déjà la commutativité. Le contenu substantiel du résultat part donc d’un anneau à division fini, parfois nommé corps gauche, puis démontre qu’il s’agit en fait d’un corps commutatif. Joseph Henry Maclagan Wedderburn a démontré ce résultat en 1905.

Soit K un anneau à division possédant un nombre fini d’éléments. Alors sa multiplication est commutative : pour tous a et b dans K, $ab=baab=ba$. Par conséquent, K est un corps fini de cardinal q = pⁿ, avec p premier et n ≥ 1, et K est isomorphe à GF(q).

Le domaine d’application est précis. Premièrement, l’ensemble K doit être fini. Deuxièmement, ses opérations doivent former un anneau à division : l’addition forme un groupe abélien, la multiplication est associative et se distribue sur l’addition, il existe un élément neutre multiplicatif, et chaque élément non nul admet un inverse multiplicatif. La commutativité de la multiplication n’est pas une hypothèse ; c’est la conclusion.

Un ensemble fini muni de deux opérations ne suffit donc pas. Par exemple, les matrices carrées 2 × 2 à coefficients dans F₂ forment un anneau fini, mais certaines matrices non nulles ne sont pas inversibles et la multiplication peut y dépendre de l’ordre. Le théorème ne s’y applique pas : il faut étudier cet anneau avec ses propres outils.

Construisons un corps à quatre éléments à partir de F₂, où 1 + 1 = 0. On ajoute un élément α vérifiant α² + α + 1 = 0. Les données sont donc les quatre éléments 0, 1, α et α + 1, avec la relation α² = α + 1. Le cycle multiplicatif associé à α rend visibles les trois produits décisifs.

1. L’élément 0 annule tout produit, tandis que 1 est l’élément neutre. Leur ordre dans un produit ne change donc rien.

2. La relation choisie donne directement α × α = α + 1.

3. Pour les deux éléments non nuls distincts qui restent :

4. En inversant les facteurs, la distributivité donne le même calcul : $(\alpha +1)\alpha ={\alpha }^2+\alpha =1(\backslash alpha+1)\backslash alpha=\backslash alpha^2+\backslash alpha=1$.

Tous les couples sont couverts : les produits avec 0 ou 1, les carrés et le seul couple de deux éléments non nuls distincts. La multiplication est donc commutative dans cet exemple GF(4), conformément au théorème. Ce contrôle illustre le résultat ; il ne remplace pas sa démonstration générale.

Lorsqu’une structure algébrique finie possède une division par tout élément non nul, le théorème dispense de vérifier séparément tous les produits dans les deux ordres. Une fois les axiomes d’anneau à division établis, la commutativité est acquise.

Pour classer une telle structure, on commence par compter ses éléments. Si le cardinal est q = pⁿ, on peut la reconnaître, à isomorphisme près, comme GF(q). Si le cardinal n’est pas une puissance d’un nombre premier, l’objet recherché ne peut pas être un corps fini.

Face à un anneau fini dont certains éléments non nuls ne sont pas inversibles, le bon réflexe est de ne pas invoquer Wedderburn. Il faut alors analyser directement les diviseurs de zéro et la multiplication, qui peut rester non commutative.

Le petit théorème de Wedderburn ne doit pas être confondu avec le théorème d’Artin-Wedderburn. Le premier conclut à la commutativité d’un anneau à division fini ; le second décrit une classe d’anneaux semi-simples. La présence de l’hypothèse de finitude sur un anneau à division tranche entre les deux.

Un corps fini n’est pas simplement un anneau fini. Dans un corps, chaque élément non nul est inversible ; dans l’anneau des entiers modulo 6, par exemple, 2 est non nul mais n’a pas d’inverse. Ce cas ne relève pas du théorème.

Le corps GF(pⁿ) ne se confond pas avec les entiers modulo pⁿ lorsque n est supérieur à 1. Pour p = 2 et n = 2, GF(4) est un corps, tandis que l’entier 2 n’est pas inversible modulo 4. Le test de l’inverse sépare les deux structures.

La finitude est indispensable. Les quaternions forment un anneau à division infini dont la multiplication n’est pas commutative : les produits ij et ji sont opposés. Sans nombre fini d’éléments, il faut donc vérifier la commutativité au lieu de la déduire de Wedderburn.

Le cardinal d’un corps fini doit être une puissance d’un nombre premier. Ainsi, un prétendu corps à 6 éléments signale immédiatement une impossibilité, car 6 n’est égal à aucun pⁿ avec p premier et n ≥ 1. Il faut remettre en cause les opérations ou la qualification de corps.

Une difficulté de vocabulaire peut rendre l’énoncé circulaire. Si « corps » est défini d’emblée comme commutatif, dire que tout corps fini est commutatif paraît tautologique. Il faut lire l’hypothèse comme « anneau à division fini » : la commutativité devient alors la conclusion véritable.

Le théorème affirme une structure à isomorphisme près, pas l’égalité littérale de toutes ses représentations. Deux corps finis de même cardinal peuvent employer des symboles ou des tables d’opérations différents. Il faut chercher un isomorphisme qui préserve addition et multiplication, plutôt qu’une identité élément par élément.

Isomorphisme (théorème d') — Approfondir l’idée de structures identiques à renommage près, essentielle pour interpréter l’unicité de GF(q).

De l’algèbre « concrète » à l’algèbre « abstraite » — Situer corps, anneaux et opérations dans le passage des calculs familiers aux structures axiomatiques.