Un inel ideal principal este un inel în care fiecare ideal este un ideal principal . În cazul unui inel necomutativ, se face distincția între inelul idealurilor principale drepte și inelul idealurilor principale din stânga .
Un exemplu de inel care nu este un inel ideal principal este inelul polinomial . În ea, idealul generat nu este cel principal, adică nu poate fi generat de un element al inelului.