Théorie des anneaux
La théorie des anneaux étudie les ensembles munis d'opérations d'addition et de multiplication compatibles, généralisant l'arithmétique des entiers et des polynômes et fournissant le fondement structurel d'une grande partie de l'algèbre et de la géométrie algébrique.
Definition
Un anneau est un ensemble muni de deux opérations binaires, l'addition (en faisant un groupe abélien) et la multiplication (associative et distributive par rapport à l'addition), généralement avec un élément neutre pour la multiplication. La théorie des anneaux étudie ces structures, leurs idéaux et les applications entre elles.
Scope
Ce domaine couvre les anneaux, les sous-anneaux et les idéaux ; les anneaux quotients et les théorèmes d'isomorphisme ; les homomorphismes d'anneaux ; les anneaux intègres, les corps de fractions et la factorisation unique ; les anneaux de polynômes et les anneaux euclidiens, principaux et noethériens. Il englobe la théorie commutative et non commutative au niveau d'un cours d'algèbre de troisième cycle.
Sub-topics
Core questions
- Comment les idéaux d'un anneau contrôlent-ils sa structure quotient et ses images homomorphes ?
- Dans quelles conditions un anneau admet-il une factorisation unique en éléments irréductibles ?
- Comment les propriétés d'un anneau se transfèrent-elles aux anneaux de polynômes et aux anneaux de fractions sur celui-ci ?
- Quelles hypothèses structurelles (noethériennes, idéaux principaux, euclidiennes) produisent une arithmétique traitable ?
Key theories
- Théorèmes d'isomorphisme pour les anneaux
- Les homomorphismes d'anneaux se factorisent à travers les quotients par leurs noyaux, et la correspondance résultante entre les idéaux et les anneaux quotients est parallèle aux théorèmes d'isomorphisme de la théorie des groupes.
- Hiérarchie de la factorisation unique
- Les anneaux euclidiens sont des anneaux principaux, qui sont des anneaux à factorisation unique ; cette chaîne d'implications organise l'arithmétique des anneaux intègres et explique quand la factorisation en irréductibles est essentiellement unique.
- Théorème de la base de Hilbert
- Si un anneau est noethérien, alors l'anneau de polynômes sur celui-ci en un nombre fini de variables l'est aussi, garantissant que les algèbres de type fini sur les corps ont une théorie des idéaux bien comportée.
Clinical relevance
La théorie des anneaux fournit le substrat algébrique pour la géométrie algébrique (anneaux de coordonnées des variétés), la théorie algébrique des nombres (anneaux d'entiers), la théorie des codes et la cryptographie (anneaux de polynômes et anneaux quotients), ainsi que les systèmes de calcul formel qui manipulent les polynômes symboliquement.
History
La théorie des anneaux est née des idéaux de Dedekind en théorie algébrique des nombres et de la théorie des invariants de Hilbert, et a été abstraite en une discipline structurelle par Emmy Noether dans les années 1920, dont les conditions de chaîne ascendante ont remodelé le sujet. Artin et d'autres ont étendu la théorie des structures au cadre non commutatif.
Key figures
- Richard Dedekind
- David Hilbert
- Emmy Noether
- Wolfgang Krull
- Emil Artin
Related topics
Seminal works
- lang2002
- dummit2004
- atiyah1969
Frequently asked questions
- Quelle est la différence entre un idéal et un sous-anneau ?
- Un sous-anneau est fermé sous les opérations de l'anneau, tandis qu'un idéal est en outre absorbant par multiplication par tout élément de l'anneau. Les idéaux, et non les sous-anneaux arbitraires, sont exactement les noyaux des homomorphismes d'anneaux et les objets par lesquels on peut quotienter.
- Pourquoi les anneaux de polynômes sont-ils si importants ?
- Les anneaux de polynômes sont les algèbres commutatives libres : ils modélisent l'ajout d'indéterminées, leurs idéaux correspondent à des systèmes d'équations polynomiales, et le théorème de la base de Hilbert rend leur théorie des idéaux finiment contrôlable, ce qui est la porte d'entrée de la géométrie algébrique.