In mathematics, specifically commutative algebra, Hilbert's basis theorem states that every ideal in the ring of multivariate polynomials over a Noetherian ring is finitely generated. This can be translated into algebraic geometry as follows: every algebraic set over a field can be described as the set of common roots of finitely many polynomial equations. Hilbert (1890) proved the theorem (for the special case of polynomial rings over a field) in the course of his proof of finite generation of rings of invariants.
Hilbert produced an innovative proof by contradiction using mathematical induction; his method does not give an algorithm to produce the finitely many basis polynomials for a given ideal: it only shows that they must exist. One can determine basis polynomials using the method of Gröbner bases.
Read more about Hilbert's Basis Theorem: Proof, Applications, Mizar System
Famous quotes containing the words basis and/or theorem:
“Reason looks at necessity as the basis of the world; reason is able to turn chance in your favor and use it. Only by having reason remain strong and unshakable can we be called a god of the earth.”
—Johann Wolfgang Von Goethe (1749–1832)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)