dominio a ideali principali
dominio a ideali principali (in sigla pid) dominio d’integrità in cui ogni ideale è principale; ogni dominio con queste caratteristiche è un dominio a fattorizzazione unica. L’anello degli interi Z e l’anello K[x] dei polinomi a coefficienti in un campo K sono esempi di pid. Ogni dominio euclideo è un dominio a ideali principali (→ anello).