Un anneau dont la multiplication est commutative : pour tous a, b ∈ R, a·b = b·a. Il conserve la structure de groupe additif abélien et la distributivité d'un anneau tout en ajoutant la commutativité multiplicative.

Principe

Exiger une composition multiplicative symétrique afin que l'algèbre polynomiale, la théorie des idéaux et les constructions géométriques se développent par des méthodes commutatives.

Démonstration

Les entiers Z et les anneaux de polynômes k[x1,...,xn] sur un anneau commutatif k sont des anneaux commutatifs ; ces exemples soutiennent la théorie des nombres et la géométrie algébrique.

Mauvaise application

Appliquer des théorèmes valables seulement dans des anneaux intègres ou des corps (par ex. l'annulation dans la multiplication) sans vérifier l'absence de diviseurs de zéro, ou supposer que tout anneau commutatif est un PID ou noethérien.

Conséquence

La commutativité permet l'étude des idéaux, des idéaux premiers et maximaux, du spectre d'un anneau et des techniques de géométrie algébrique reposant sur la localisation et la factorisation.

Inversion

L'inversion conduit à un anneau non commutatif où la multiplication manque de symétrie ; de nombreux comportements concernant les modules et les représentations changent fondamentalement.

Limite

Comprend les anneaux à multiplication commutative mais qui peuvent ou non posséder une unité multiplicative ; exclut les anneaux non commutatifs et les semi-anneaux sans inverses additives.

Tension sémantique

Tension entre la théorie des anneaux commutatifs et les classes d'anneaux soumises à des restrictions supplémentaires (anneaux intègres, PID, corps), ainsi qu'entre les lectures algébrique et géométrique d'un même anneau.

Synthèse

Un anneau commutatif est un anneau à multiplication symétrique, constituant le socle algébrique des idéaux et des notions géométriques comme Spec qui relient algèbre et géométrie.