Encyclopedia > Hilbert basis theorem

  Article Content

Hilbert's basis theorem

Redirected from Hilbert basis theorem

Hilbert's basis theorem, first proved by David Hilbert in 1888, states that, if k is a field, then every ideal in the ring of multivariate polynomials k[x1, x2, ..., xn] is finitely generated. This can be translated into algebraic geometry as follows: every variety over k can be described as the set of common roots of finitely many polynomial equations.

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[?].

A slightly more general statement of Hilbert's basis theorem is: if R is a left (respectively right) Noetherian ring, then the polynomial ring R[X] is also left (respectively right) Noetherian.

The Mizar project has completely formalized and automatically checked a proof of Hilbert's basis theorem in the HILBASIS file (http://www.mizar.org/JFM/Vol12/hilbasis).



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
North Lindenhurst, New York

... 18 to 24, 33.8% from 25 to 44, 21.3% from 45 to 64, and 11.8% who are 65 years of age or older. The median age is 36 years. For every 100 females there are 96.3 males. ...

 
 
 
This page was created in 31 ms