Idéal

Un idéal est un sous-ensemble particulier d'un anneau, fermé sous l'addition et absorbant sous la multiplication, qui sert de noyau à un homomorphisme et d'objet par lequel on forme des anneaux quotients.

Definition

Un idéal d'un anneau R est un sous-groupe additif qui absorbe la multiplication par les éléments de R ; dans un anneau commutatif, un sous-ensemble I est un idéal s'il est fermé sous l'addition et si ri appartient à I pour tout r dans R et i dans I.

Scope

Ce sujet couvre les idéaux à gauche, à droite et bilatères ; les idéaux principaux, maximaux et premiers ; les opérations sur les idéaux telles que les sommes, les produits et les intersections ; les anneaux quotients et le théorème de correspondance ; ainsi que la caractérisation des corps et des anneaux intègres par leurs idéaux maximaux et premiers.

Core questions

• Comment les idéaux sont-ils liés aux noyaux des homomorphismes d'anneaux ?
• Qu'est-ce qui distingue les idéaux premiers et maximaux, et à quoi ressemblent leurs quotients ?
• Comment de nouveaux idéaux sont-ils construits à partir d'anciens par des sommes, des produits et des intersections ?
• Comment le treillis des idéaux reflète-t-il la structure de l'anneau ?

Key theories

Les idéaux comme noyaux

Un sous-ensemble d'un anneau est le noyau d'un certain homomorphisme d'anneaux si et seulement si c'est un idéal, et le passage au quotient par un idéal produit l'homomorphisme universel qui l'annule, reflétant les sous-groupes normaux en théorie des groupes.

Idéaux premiers et maximaux

Dans un anneau commutatif unitaire, un idéal est premier précisément lorsque son quotient est un anneau intègre et maximal précisément lorsque son quotient est un corps, de sorte que les idéaux maximaux sont premiers.

Correspondance des treillis

Les idéaux d'un anneau quotient correspondent bijectivement aux idéaux de l'anneau original contenant l'idéal choisi, ce qui permet de transférer les questions structurelles entre un anneau et ses quotients.

Clinical relevance

Les idéaux constituent le concept organisateur central de la théorie des anneaux : les idéaux premiers sont les points des spectres de la géométrie algébrique, les idéaux encodent des systèmes d'équations polynomiales, et les constructions de quotients par des idéaux permettent de construire de nouveaux anneaux tels que les corps finis et les anneaux de coordonnées des variétés.

History

Le mot idéal provient des nombres idéaux de Kummer, inventés pour restaurer la factorisation unique en théorie algébrique des nombres ; Dedekind les a reformulés sous forme d'ensembles, les idéaux modernes. Les conditions de chaîne de Emmy Noether sur les idéaux en ont ensuite fait l'épine dorsale de la théorie abstraite des anneaux.

Key figures

• Richard Dedekind
• Ernst Kummer
• Emmy Noether
• David Hilbert

Seminal works

• dummit2004
• atiyah1969
• hungerford1974

Frequently asked questions

Pourquoi peut-on quotienter un anneau par un idéal mais pas par un sous-anneau arbitraire ?

La multiplication sur un quotient n'est bien définie que lorsque le sous-ensemble absorbe la multiplication par tous les éléments de l'anneau, ce qui est précisément la condition d'idéal. Un sous-anneau fermé uniquement sous les opérations de l'anneau ne donne généralement pas un anneau quotient bien défini.

En quoi les idéaux premiers et maximaux sont-ils différents ?

Un idéal est premier lorsque son quotient est un anneau intègre et maximal lorsque son quotient est un corps. Puisque tout corps est un anneau intègre, les idéaux maximaux sont toujours premiers, mais pas réciproquement ; l'écart reflète la dimension de l'anneau.