En principiel idealring er en ring , hvor ethvert ideal er et principielt ideal . I tilfælde af en ikke-kommutativ ring skelner man mellem ringen af primære højre idealer og ringen af principale venstre idealer .
Et eksempel på en ring, der ikke er en principiel idealring, er polynomialringen . I den er det genererede ideal ikke det vigtigste, det vil sige, at det ikke kan genereres af et element i ringen.