Dominio ad ideali principali
Da Wikipedia, l'enciclopedia libera.
In algebra astratta, si definisce dominio ad ideali principali un dominio d'integrità in cui ogni ideale è principale, ossia generato da un unico elemento. Possibili esempi sono l'anello degli interi, tutti i campi, e gli anelli di polinomi in una variabile a coefficienti in un campo.
L'espressione "Dominio ad ideali principali" viene spesso abbreviata con PID, dall'inglese Principal Ideal Domain.