Structure algébrique associative composée d'un ensemble muni de deux opérations binaires, addition et multiplication, où l'addition forme un groupe abélien, la multiplication est associative et la multiplication se distribue sur l'addition ; la présence d'un élément multiplicatif neutre peut dépendre de la convention.

Principe

Organisation en deux couches : un groupe additif abélien apporte une structure de type linéaire tandis qu'une loi multiplicative associative interagit via la distributivité pour permettre l'existence d'idéaux, d'homomorphismes, de quotients et de la théorie des modules ; l'absence de commutativité ou d'inverses multiplicatifs est admise et caractérise les exemples.

Démonstration

Z, les entiers, forment un anneau commutatif unitaire ; Mn(R), les matrices n×n sur un anneau R, forment un anneau généralement non commutatif pour l'addition et la multiplication matricielles ; les anneaux de polynômes R[x] fournissent des familles d'anneaux utilisées pour construire des objets algébriques et des quotients.

Mauvaise application

Supposer que les anneaux possèdent toujours des inverses multiplicatifs pour les éléments non nuls (confondre anneaux et corps), ou supposer la commutativité de la multiplication ; traiter les idéaux comme étant automatiquement principaux ou ignorer l'existence de diviseurs de zéro dans des anneaux concrets tels que Z/nZ pour n composé.

Conséquence

Les anneaux fournissent le cadre pour les modules, idéaux, anneaux quotients et constructions homologiques ; ils servent d'algèbres de coordonnées pour la géométrie et d'opérateurs pour la théorie des représentations, et leurs propriétés (Noethérien, principal, simple, etc.) déterminent une grande partie de l'algèbre qui s'appuie sur eux.

Inversion

Un corps (tout élément non nul inversible) ou une algèbre non associative (abandon de l'associativité) contrastent avec la notion d'anneau ; un rng est un anneau sans unité, soulignant que la présence de 1 est une propriété dépendante de la convention.

Limite

Le terme ici désigne les anneaux associatifs ; les structures non associatives (par ex. algèbres alternatives, anneaux de Lie) sont exclues. Il faut préciser si une identité multiplicative est présente et si l'anneau est commutatif ; la caractéristique du corps de base influence le comportement algébrique.

Tension sémantique

Tension entre considérer l'anneau comme un objet purement algébrique et le considérer comme une algèbre sur un autre anneau ou comme un anneau topologique/gradé en contexte fonctionnel et homologique ; tension aussi entre la théorie des anneaux commutatifs et la théorie non commutative qui emploient méthodes et objectifs différents.

Synthèse

Un Anneau est un système algébrique associatif à deux opérations où un groupe additif abélien interagit avec une structure multiplicative associative via la distributivité, fournissant le cadre de base pour idéaux, modules et constructions algébriques en arithmétique, géométrie et théorie des représentations.