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
Wheatley Heights, New York

... 4.15% from other races, and 3.73% from two or more races. 11.67% of the population are Hispanic or Latino of any race. There are 1,455 households out of which 43.6% ...

 
 
 
This page was created in 40.6 ms