Hilbert's Basis Theorem
If R is a ring, let R denote the ring of polynomials in the indeterminate X over R. Hilbert proved that if R is "not too large", in the sense that if R is Noetherian, the same must be true for R. Formally,
Theorem
If R is a Noetherian ring, then R is a Noetherian ring.
Corollary
If R is a Noetherian ring, then is a Noetherian ring.
For a proof of this result, see the corresponding section on the Hilbert's basis theorem page. Geometrically, the result asserts that any infinite set of polynomial equations may be associated to a finite set of polynomial equations with precisely the same solution set (the solution set of a collection of polynomials in n variables is generally a geometric object (such as a curve or a surface) in n-space).
Read more about this topic: Noetherian Ring
Famous quotes containing the words basis and/or theorem:
“That food has always been, and will continue to be, the basis for one of our greater snobbisms does not explain the fact that the attitude toward the food choice of others is becoming more and more heatedly exclusive until it may well turn into one of those forms of bigotry against which gallant little committees are constantly planning campaigns in the cause of justice and decency.”
—Cornelia Otis Skinner (1901–1979)
“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)