ところで、質問していいかな?
ReidはNeother normalisationからHilbert Nullstellensatzを導いてるんだが
このやり方如何思う?
幾何学的直感を重要視するなんらこうなるのかも知れんが、
Neother normalisationの証明は複雑だし、
Hilbert Nullstellensatzは最近「初等的な」証明が知られるようになったし・・・