AlgèbreObjet mathématique · Glossaire
Anneau à division
Un anneau à division (ou corps non commutatif, ou skew field) est un anneau dans lequel tout élément non nul est inversible, mais sans supposer la commutativité de la multiplication. Si la multiplication est de plus commutative, on obtient un corps au sens usuel. L'exemple fondamental d'anneau à division non commutatif est l'anneau des quaternions de Hamilton, qui est de dimension 4 sur les réels. Le théorème de Wedderburn affirme que tout anneau à division fini est nécessairement un corps commutatif.
Sommaire
Ce que vous allez apprendre
- Définir un anneau à division et préciser le rôle d’un inverse bilatère.
- Calculer l’inverse du quaternion 1 + i + j + k à l’aide de son conjugué.
- Distinguer anneau à division, corps commutatif, anneau sans diviseurs de zéro et anneau de matrices.
- Interpréter correctement le théorème de Wedderburn et la finitude qu’il exige.
En clair
Avec les nombres réels non nuls, une division peut toujours être remplacée par une multiplication par l’inverse. Un anneau à division conserve cette possibilité : tout élément sauf zéro possède un inverse. En revanche, échanger l’ordre de deux facteurs peut changer le résultat.
Les quaternions rendent ce contraste visible : i multiplié par j vaut k, tandis que j multiplié par i vaut −k. On peut donc y diviser par un élément non nul, mais il faut préciser si l’on multiplie par son inverse à gauche ou à droite.
Définition
Un anneau à division est un anneau associatif D, muni d’un élément unité 1 distinct de 0, dans lequel chaque élément non nul a possède un inverse multiplicatif. Cet inverse, noté , satisfait les deux égalités . La multiplication n’est pas supposée commutative.
L’addition forme un groupe commutatif, la multiplication est associative et distributive par rapport à l’addition, puis l’inversibilité de tout élément non nul rend possibles les équations multiplicatives. L’ordre reste essentiel : résoudre ax = b donne , tandis que résoudre xa = b donne .
Si tous les produits commutent, D est un corps commutatif au sens usuel. Les quaternions de Hamilton forment au contraire un anneau à division non commutatif, de dimension 4 comme espace vectoriel réel. Le théorème de Wedderburn ferme le cas fini : un anneau à division ayant un nombre fini d’éléments est toujours commutatif.
De quoi c'est fait
Quatre ingrédients structurent un anneau à division. L’ensemble D fournit les éléments. L’addition permet de les combiner et possède un zéro ainsi que des opposés. La multiplication possède une unité 1, reste associative et se distribue sur l’addition. Enfin, chaque élément autre que zéro possède un inverse multiplicatif des deux côtés.
La distributivité relie les deux opérations, tandis que l’unité donne un sens commun à tous les inverses. Ces données suffisent pour additionner, multiplier et résoudre une équation comme ax = b lorsque a est non nul. La commutativité de la multiplication n’appartient pas à la définition : son ajout transforme l’anneau à division en corps commutatif.
Un exemple, pas à pas
Dans l’anneau des quaternions de Hamilton, prenons le quaternion q = 1 + i + j + k. Les unités imaginaires vérifient i² = j² = k² = −1 et ij = k, tandis que ji = −k. Nous allons construire l’inverse de q.
1. Changeons le signe des trois composantes imaginaires. Le conjugué de q est .
2. Calculons la somme des carrés de ses quatre coefficients : . Le produit de q par son conjugué, dans chaque ordre, vaut ce nombre réel : .
3. Divisons le conjugué par 4 : .
4. Contrôlons les deux côtés : . Le résultat est bien un inverse bilatère. Le schéma rassemble le conjugué, le facteur réel 4 et ce double contrôle, sans effacer l’importance de l’ordre pour des produits généraux.
En pratique
Résoudre une équation multiplicative. Pour ax = b avec a non nul, on multiplie à gauche par l’inverse de a. Pour xa = b, on multiplie à droite. Dans un corps commutatif, cette distinction disparaît ; dans un anneau à division non commutatif, elle est indispensable.
Calculer avec des quaternions. On utilise le conjugué et la somme des carrés des quatre coefficients pour inverser un quaternion non nul. Les nombres réels ou complexes suffisent lorsque tous les facteurs considérés commutent ; les quaternions deviennent pertinents quand la non-commutativité fait partie du modèle.
Reconnaître la structure. Il faut vérifier une unité, l’associativité et la distributivité, puis l’existence d’un inverse bilatère pour chaque élément non nul. Tester seulement quelques éléments ne suffit pas ; pour une structure finie, le théorème de Wedderburn indique en plus que le résultat sera nécessairement commutatif.
À ne pas confondre
Anneau à division et corps commutatif. Dans les deux structures, tout élément non nul est inversible. Le test qui les sépare porte sur l’ordre des facteurs : dans un corps, ab = ba pour toute paire ; chez les quaternions, ij = k mais ji = −k.
Anneau à division et anneau sans diviseurs de zéro. L’absence de diviseurs de zéro ne garantit pas que chaque élément non nul soit inversible. Dans l’anneau des entiers, aucun produit de deux entiers non nuls ne vaut zéro, mais 2 n’a pas d’inverse entier.
Anneau à division et algèbre de matrices. Une matrice carrée non nulle peut être singulière, donc non inversible. L’ensemble de toutes les matrices 2 × 2 sur les réels est un anneau, mais pas un anneau à division ; seules ses matrices inversibles forment un groupe multiplicatif.
Limites et pièges
Zéro reste exclu. Si zéro avait un inverse z, l’égalité 0z = 1 contredirait 0z = 0. Toute division par zéro bloque donc le calcul ; il faut d’abord vérifier que le diviseur est non nul.
Le côté de la division compte. L’écriture b/a est ambiguë sans convention lorsque la multiplication ne commute pas. Les expressions et peuvent différer ; il faut écrire explicitement le produit voulu.
« Fini » concerne le nombre d’éléments. Le théorème de Wedderburn vise les anneaux à division dont l’ensemble sous-jacent est fini. Les quaternions ont une dimension réelle finie, égale à 4, mais une infinité d’éléments ; ils ne contredisent donc pas le théorème.
Les conventions de vocabulaire varient. En français, « corps » peut parfois être employé pour une structure non commutative, avec la précision « corps gauche ». Ici, « corps au sens usuel » désigne le cas commutatif et « anneau à division » le cadre sans commutativité supposée.
Pour aller plus loin
Le glossaire quaternion développe l’exemple non commutatif fondamental et donne un cadre concret aux produits dont l’ordre change le résultat.
L’entrée corps commutatif présente le cas particulier où l’ordre des facteurs ne compte plus et où les deux divisions coïncident.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres