Un anneau dont la multiplication est commutative, c'est‑à‑dire ab=ba pour tous éléments a et b ; on le considère généralement avec le même groupe additif abélien et les propriétés distributives que les anneaux, et on l'étudie souvent avec ou sans élément multiplicatif neutre.

Principe

La commutativité de la multiplication simplifie la théorie des idéaux et permet des interprétations géométriques et arithmétiques : idéaux premiers et maximaux, localisation et construction du spectre s'appuient sur la symétrie multiplicative et autorisent les techniques de la géométrie algébrique et de la théorie des nombres.

Démonstration

Z, les entiers, et k[x], l'anneau des polynômes sur un corps k, sont des exemples standards. Dans Z, les idéaux sont principaux ; dans k[x,y], les idéaux premiers correspondent à des ensembles algébriques irréductibles et la localisation en un ensemble multiplicatif produit des anneaux locaux utilisés en géométrie.

Mauvaise application

Supposer qu'un anneau commutatif est un domaine intègre (sans diviseurs de zéro) ou un corps (tout élément non nul inversible) ; présumer la factorisation unique ou la propriété d'idéal principal sans vérification ; confondre la commutativité de la multiplication avec des conditions supplémentaires de finitude ou de régularité.

Conséquence

Les anneaux commutatifs constituent l'ossature algébrique de la géométrie algébrique et de l'arithmétique : le comportement des idéaux, la factorisation, la localisation et la théorie des modules produisent des constructions et invariants schématiques et arithmétiques ; de nombreux théorèmes de classification s'appliquent dans le cadre commutatif.

Inversion

Des anneaux non commutatifs comme les anneaux de matrices où l'ordre de multiplication importe ; au sein de la théorie commutative l'inverse extrême est l'anneau nul où 0=1, qui effondre les distinctions usuelles et est généralement exclu de nombreuses constructions.

Limite

Exige seulement que la multiplication commute ; d'autres propriétés d'anneaux (existence d'unité, noethérien, domaine, réduit) sont indépendantes et doivent être précisées le cas échéant. La théorie des anneaux commutatifs suppose généralement associativité de la multiplication et distributivité, et travaille souvent sur des anneaux ou corps de base spécifiés.

Tension sémantique

Tension entre la théorie des anneaux commutatifs et l'algèbre non commutative : méthodes, invariants et phénomènes diffèrent fortement. Il existe aussi une tension entre les sous-classes (domaines, UFD, PID, noethériens) où le seul qualificatif « commutatif » laisse de nombreux aspects structuraux importants non précisés.

Synthèse

Un Anneau Commutatif est un anneau associatif dont la multiplication est symétrique, produisant un cadre favorable aux idéaux, à la localisation et à la construction du spectre, et posant les bases algébriques de la géométrie, de la théorie des nombres et de l'algèbre commutative.