Hilbert Basis Theorem

If $R$ is a Noetherian Ring, then $S=R[X]$ is also a Noetherian Ring.

See also Algebraic Variety, Fundamental System, Syzygy

References

Hilbert, D. ``Über die Theorie der algebraischen Formen.'' Math. Ann. 36, 473-534, 1890.