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:
“My dream is that as the years go by and the world knows more and more of America, it ... will turn to America for those moral inspirations that lie at the basis of all freedom ... that America will come into the full light of the day when all shall know that she puts human rights above all other rights, and that her flag is the flag not only of America but of humanity.”
—Woodrow Wilson (1856–1924)
“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)