Une structure algébrique (R, +, ·) munie de deux lois binaires telles que (R, +) est un groupe abélien, la multiplication · est associative et la multiplication est distributive par rapport à l'addition ; la présence d'un élément neutre multiplicatif ou la commutativité de · dépend des conventions.

Principe

Organiser les éléments par l'inversibilité additve et la composition multiplicative sous la contrainte de distributivité afin de faire coexister constructions linéaires et multiplicatives au sein d'une même structure.

Démonstration

Les entiers Z avec l'addition et la multiplication usuelles forment un anneau : l'addition est un groupe abélien, la multiplication est associative et distributive. Les anneaux de matrices sont un exemple non commutatif.

Mauvaise application

Supposer que tout élément non nul possède un inverse multiplicatif (prendre un anneau pour un corps) ou supposer que la multiplication est toujours commutative en appliquant des résultats qui exigent la commutativité.

Conséquence

Les anneaux permettent de définir des idéaux, des quotients, des modules et des extensions polynomiales ; ces outils conduisent à des constructions algébriques comme les quotients et des invariants homologiques.

Inversion

La notion inverse produit une structure où la multiplication n'est pas distributive par rapport à l'addition ou où l'addition n'est pas un groupe — ces inversions relèvent des semi-anneaux ou des monoïdes additifs.

Limite

Comprend les structures avec ou sans unité multiplicative selon les auteurs (anneaux versus rngs). Exclut les semi-anneaux qui n'ont pas d'inverses additives et les structures où la distributivité fait défaut.

Tension sémantique

Tension entre anneaux non commutatifs et anneaux commutatifs, et entre anneaux avec unité et rngs sans unité ; différentes communautés adoptent des exigences par défaut distinctes.

Synthèse

Un anneau est l'espace algébrique minimal combinant un groupe additif abélien et une multiplication associative et distributive, servant de source scalaire pour les modules et de cadre pour les opérations algébriques.