Un domaine principal d'idéaux est un domaine intègre dans lequel tout idéal est engendré par un seul élément ; abréviation fréquente : PID.

Principe

Les idéaux sont principaux : chaque idéal I s'écrit I = (a) = {a·r : r dans R} pour un certain a du domaine, ce qui simplifie la théorie des idéaux et les questions de factorisation.

Démonstration

Les entiers Z forment un PID : tout idéal est mZ pour un entier m ; les anneaux de polynômes en une variable sur un corps sont aussi des PID, ce qui permet de calculer explicitement les pgcd et les factorisations.

Mauvaise application

Prétendre que des anneaux de polynômes multivariables ou des domaines intègres arbitraires sont des PID ; par exemple Z[x] n'est pas un PID même si Z l'est, donc la génération par un seul élément échoue en général.

Conséquence

De nombreux résultats structurels en découlent : les PID sont des domaines à factorisation unique, les modules de type fini de torsion admettent une décomposition explicite, et le calcul des idéaux et des pgcd devient plus accessible.

Inversion

Un domaine intègre où certains idéaux nécessitent plusieurs générateurs ; ces anneaux ne bénéficient pas des simplifications liées à la génération principale et peuvent présenter des treillis d'idéaux et un comportement de factorisation plus complexes.

Limite

Défini parmi les domaines intègres (anneaux commutatifs unitaires sans diviseurs de zéro) ; être PID est une propriété plus forte que UFD et, en général, plus faible que d'être euclidien — les implications réciproques exigent des structures supplémentaires.

Tension sémantique

Rapport étroit avec domaine euclidien et UFD : les domaines euclidiens sont des PID et les PID sont des UFD, mais les réciproques ne sont pas garanties ; il est essentiel de distinguer quelles propriétés additionnelles sont présentes.

Synthèse

Un PID est un domaine intègre où chaque idéal est engendré par un seul élément, offrant une théorie des idéaux maniable conduisant à la factorisation unique et facilitant la classification des modules de type fini.