Es sei R {\displaystyle {}R} ein noetherscher Ring.
Dann ist auch der Polynomring R [ X ] {\displaystyle {}R[X]} noethersch.