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:
“Painting dissolves the forms at its command, or tends to; it melts them into color. Drawing, on the other hand, goes about resolving forms, giving edge and essence to things. To see shapes clearly, one outlines them—whether on paper or in the mind. Therefore, Michelangelo, a profoundly cultivated man, called drawing the basis of all knowledge whatsoever.”
—Alexander Eliot (b. 1919)
“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)