Hilbert's basis theorem
In mathematics Hilbert's basis theorem asserts that every ideal of a polynomial ring over a field has a finite generating set.
In modern algebra, rings whose ideals have this property are called Noetherian rings. Every field, and the ring of... Wikipedia