Unified proofs of Hilbert's basis theorem and its analogue in formal power series rings

Extract

Let R denote a commutative Noetherian ring with an identity element. Hilbert's basis theorem states that the polynomial ring in a finite number of indeterminates over R is also Noetherian. (See Northcott ], theorem 8, p. 26; Zariski and Samuel [4], theorem 1, p. 201). Hilbert's original theorem in [2] is stated for the case when R is a field or the ring of integers. The standard proofs of this fundamental theorem are essentially of a direct type. The analogue of Hilbert's basis theorem in the ring of formal power series in a finite number of indeterminates over R is also true (Chevalley [1]; see also Northcott [3], theorem 3, p. 89; Zariski and Samuel [5], theorem 4, p. 138). In the present note we bring together concise proofs of Hilbert's and Chevalley's theorems by using a single indirect (i.e. reductio ad absurdum) argument. By induction it is sufficient to consider the case of a polynomial ring S and a formal power series ring T in a single indeterminate X over R.