Hilbert's basis theorem states that every ideal in a polynomial ring over a Noetherian ring is finitely generated, which implies that polynomial rings over fields are Noetherian. This theorem is fundamental in algebraic geometry and commutative algebra, as it ensures the finiteness conditions necessary for many geometric and algebraic constructions.