Dziedzina ideałów głównych (PID, od ang. Principal Ideal Domain; polski skrót: DIG) – to pierścień ideałów głównych, który jest pierścieniem całkowitym.
Równoważna definicja Dziedzina ideałów głównych – pierścień komutatywny, będący dziedziną całkowitości, w której każdy ideał tej dziedziny jest główny.
Przykłady Dziedziną ideałów głównych, jest – przykładowo – każda z następujących struktur matematycznych: dowolne ciało — jego ideałami są wyłącznie: (ideał zerowy/ideał trywialny), oraz samo to ciało, czyli , pierścień liczb całkowitych, dowolny pierścień wielomianów jednej zmiennej , o współczynnikach pochodzących z ciała , (Prawdą jest także następujące zdanie odwrotne: Jeśli jest dziedziną ideałów głównych, to jest ciałem.) pierścień liczb całkowitych Gaussa, oznaczany , pierścień liczb całkowitych Eisensteina, oznaczany .
Przykłady dziedzin całkowitości, które nie są DIG Dziedzinami ideałów głównych nie są następujące: