A NEW PROOF OF HILBERT ' S NULLSTELLENSATZ OSCAR ZARISKI Introduction

O. Zariski

Abstract:Introduction. A number of proofs of Hubert 's Nullstellensatz can be found in the literature. One, based on elimination theory and due to A. Rabinowitsch, is reproduced in van der Waerden's Moderne Algebra, vol. 2, p. 11. In a later chapter van der Waerden gives another proof which is based on the method of specialization in fields of algebraic functions (pp. 59-61). The finishing touches to this proof (p. 65) presuppose the decomposition theorem for polynomial ideals. In his Ergebnisse monograph Idealtheorie, p. 46, Krull gives an idealtheoretic proof which, while it is based on the simple remark by Rabinowitsch, is of an advanced nature, since the proof makes use of the full dimension theory of algebraic varieties developed in §17, pp. 41-43. The main "Dimensionssatz" of p. 43 is based on a result which is proved only in §48, pp. 129-134. Moreover, the concept of integral dependence and the "Normalization theorem" of Emmy Noether are used in Krull's proof. In the present note we give first of all a short proof of Hubert 's Nullstellensatz which makes use only of the rudiments of field theory and ideal theory. Actually we give two new proofs of the Nullstellensatz. A lemma used in the second proof enables us to establish a result on finite integral domains which we were not able to find in the literature. This result is as follows: If R =K[£i, £2, • • • , %n] is a finite integral domain over afield K and ifK is the algebraic closure ofKinR, then K contains all the fields which are contained in R.