Anneau intègre

Un anneau intègre est un anneau commutatif unitaire sans diviseurs de zéro, le cadre abstrait dans lequel la loi d'annulation familière et la notion de factorisation sont valides.

Definition

Un anneau intègre est un anneau commutatif muni d'une identité multiplicative dans lequel le produit de deux éléments non nuls quelconques est non nul, ou de manière équivalente, un anneau sans diviseurs de zéro.

Scope

Ce sujet aborde la définition et les propriétés fondamentales des anneaux intègres, le corps des fractions, la hiérarchie des domaines, les anneaux euclidiens, les anneaux à idéaux principaux et les anneaux à factorisation unique, ainsi que les notions d'éléments irréductibles et premiers.

Core questions

• Que garantit l'absence de diviseurs de zéro concernant l'annulation et la factorisation ?
• Comment un anneau intègre est-il plongé dans son corps des fractions ?
• Comment les anneaux euclidiens, les anneaux à idéaux principaux et les anneaux à factorisation unique sont-ils liés ?
• Quelle est la différence entre les éléments irréductibles et premiers ?

Key theories

Corps des fractions

Tout anneau intègre se plonge dans un plus petit corps, son corps des fractions, construit à partir de classes d'équivalence de fractions, généralisant le passage des entiers aux rationnels.

Hiérarchie des domaines

Les corps, les anneaux euclidiens, les anneaux à idéaux principaux et les anneaux à factorisation unique forment une chaîne de propriétés strictement descendante parmi les anneaux intègres, organisant la manière dont la factorisation se comporte.

Éléments premiers versus irréductibles

Dans tout anneau intègre, les éléments premiers sont irréductibles, et les deux notions coïncident exactement dans les anneaux à factorisation unique, où la factorisation en irréductibles est essentiellement unique.

Clinical relevance

Les anneaux intègres sont les anneaux dans lesquels l'arithmétique se comporte comme celle des entiers : ils constituent le cadre naturel de la théorie de la factorisation, les anneaux d'entiers en théorie des nombres sont des domaines, et les anneaux de coordonnées des variétés algébriques irréductibles sont des anneaux intègres, reliant ainsi le concept à la géométrie.

History

Le concept abstrait l'arithmétique des entiers et des anneaux d'entiers algébriques étudiés par Dedekind et Kronecker. La comparaison systématique des anneaux euclidiens, des anneaux à idéaux principaux et des anneaux à factorisation unique est apparue avec la théorie structurelle des anneaux au début du XXe siècle.

Key figures

• Richard Dedekind
• Leopold Kronecker
• Emmy Noether

Seminal works

• dummit2004
• lang2002
• hungerford1974

Frequently asked questions

Pourquoi l'exclusion des diviseurs de zéro est-elle importante ?

Sans diviseurs de zéro, la loi d'annulation est valide : si un produit est nul, alors l'un des facteurs doit être nul. C'est précisément ce qui est nécessaire pour une théorie de la factorisation bien définie et pour le plongement de l'anneau dans un corps des fractions.

Les éléments premiers et irréductibles sont-ils la même chose ?

Non, pas en général. Les éléments premiers sont toujours irréductibles dans un domaine, mais les irréductibles ne sont pas nécessairement premiers ; cette distinction est ce qui rend la factorisation non unique. Les deux coïncident précisément dans les anneaux à factorisation unique.