##  [Domaine Principal d'Idéaux](/fr/node/63301) 

 Définition

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

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

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

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

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

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

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

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

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.