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