All of the many proofs of the Nullstellensatz I have seen use results from long after Hilbert’s time: Zariski’s lemma, Noether normalization, the Rabinowitch trick, model theory, etc. How did Hilbert’s original proof go?
$\begingroup$
$\endgroup$
5

$\begingroup$ Duplicate of this stackexchange post. $\endgroup$– CarlFredrik Nyberg BroddaMar 24, 2020 at 17:03

2$\begingroup$ That MSE link gives proof written in German.. Can one ask for translation to English of Hilbert's proof of Nullstellensatz? $\endgroup$– Praphulla KoushikMar 24, 2020 at 17:06

3$\begingroup$ an English transation is available here $\endgroup$– Carlo BeenakkerMar 24, 2020 at 18:59

$\begingroup$ Some discussion of the proof of the Nullstellensatz taken from webusers.imjprg.fr/~michael.harris/theology.pdf pg. 3, footnote 3 which cites 'Algorithms in invariant theory' by Bernd Sturmfels and pg. 7, footnote 7 which states, "These are notably differential methods related to the LieKlein theory of continuous groups which later served Hilbert as a framework for invariant theory; and irrational invariants closely tied to his discovery and use of the Nullstellensatz." Of course either of these would be survey in nature, I reckon. But if diving into Hilbert's paper is undesired... $\endgroup$– Samantha YMar 24, 2020 at 19:41

$\begingroup$ I should add that that paper is 'Theology and Its Discontents: The Origin Myth of Modern Mathematics' by Colin McLarty and (as the title suggests) about the basis theorem and not the Nullstellensatz. But it came to mind and is a fun and interesting paper. $\endgroup$– Samantha YMar 24, 2020 at 19:46
Add a comment

2 Answers
$\begingroup$
$\endgroup$
1
Here is a scan of the relevant pages from the english translation of Hilbert's 1893 paper.

$\begingroup$ For reference, these are pp. 234 and 235 of the book. $\endgroup$ Mar 6, 2023 at 8:53
$\begingroup$
$\endgroup$
3
As noted in math.stackexchange, the theorem is in part 3 of this paper: Hilbert, D. (1893). Über die vollen Invariantensysteme. Math. Ann. 42, pp. 313–373.
From a quick overview, I think the idea is to first prove the theorem when the set of common zeros is finite, using elimination theory. Everything is done with homogeneous polynomials.
Now to find time to read it carefully.

$\begingroup$ I copied the relevant pages from the english translation of Hilbert's 1893 paper. If there is an interest, drop me a line and I can email these. $\endgroup$ Mar 25, 2020 at 12:59

$\begingroup$ I would definitely like a cooy but I don’t know how to “drop you a line”. $\endgroup$– FernandoMar 25, 2020 at 18:10

$\begingroup$ @Fernando  I've posted the scan in the answer box, hoping distribution of these few pages qualifies as "fair use". $\endgroup$ Mar 27, 2020 at 8:17