Der 1799 von Carl Friedrich Gauß bewiesene Fundamentalsatz der Algebra besagt bekanntlich, dass jedes Polynom komplexe Nullstellen hat, außer natürlich es handelt sich um ein (von Null verschiedenes) konstantes Polynom. Die Verallgemeinerung auf Polynome in mehreren Veränderlichen ist der 1893 von David Hilbert bewiesene Nullstellensatz. Er besagt, dass Polynome f1,…,fk eine gemeinsame Nullstelle haben, außer…