Skip to main content
MathOverflow

Return to Question

added 1 character in body
Source Link
Georg Lehner
Georg Lehner
  • 2.3k
  • 14
  • 28

I'm interested in proofs using ideas from outside commutative algebra of Hilbert's Basis Theorem.

If $R$ is a noetherian ring, then so is $R[X]$.

or its stronger formsister version

If $R$ is a noetherian ring, then so is $R[[X]]$.

I am very much aware of the standard non-construtive proof by contradiction given by Hilbert as well as the direct version using Groebner basis.

Most important theorems in mathematics that are old enough have several very different proofs. Comparing different ideas can be very enlightening and also give a hint to possible generalizations in different areas. For the Basis Theorem however, I am not aware of such.

I'm interested in proofs using ideas from outside commutative algebra of Hilbert's Basis Theorem.

If $R$ is a noetherian ring, then so is $R[X]$.

or its stronger form

If $R$ is a noetherian ring, then so is $R[[X]]$.

I am very much aware of the standard non-construtive proof by contradiction given by Hilbert as well as the direct version using Groebner basis.

Most important theorems in mathematics that are old enough have several very different proofs. Comparing different ideas can be very enlightening and also give a hint to possible generalizations in different areas. For the Basis Theorem however, I am not aware of such.

I'm interested in proofs using ideas from outside commutative algebra of Hilbert's Basis Theorem.

If $R$ is a noetherian ring, then so is $R[X]$.

or its sister version

If $R$ is a noetherian ring, then so is $R[[X]]$.

I am very much aware of the standard non-construtive proof by contradiction given by Hilbert as well as the direct version using Groebner basis.

Most important theorems in mathematics that are old enough have several very different proofs. Comparing different ideas can be very enlightening and also give a hint to possible generalizations in different areas. For the Basis Theorem however, I am not aware of such.

Post Made Community Wiki by Todd Trimble
Source Link
Georg Lehner
Georg Lehner
  • 2.3k
  • 14
  • 28

Alternate proofs of Hilberts Basis Theorem

I'm interested in proofs using ideas from outside commutative algebra of Hilbert's Basis Theorem.

If $R$ is a noetherian ring, then so is $R[X]$.

or its stronger form

If $R$ is a noetherian ring, then so is $R[[X]]$.

I am very much aware of the standard non-construtive proof by contradiction given by Hilbert as well as the direct version using Groebner basis.

Most important theorems in mathematics that are old enough have several very different proofs. Comparing different ideas can be very enlightening and also give a hint to possible generalizations in different areas. For the Basis Theorem however, I am not aware of such.