- Print publication year: 2003
- Online publication date: February 2015

- Publisher: Cambridge University Press
- DOI: https://doi.org/10.1017/CBO9781316257074.004
- pp 51-76

The aim of this chapter is to give a very brief review of the basic algebraic techniques which form the foundation of invariant theory and of algebraic geometry generally. Beginning in Section 2.1 we introduce Noetherian rings, taking as our point of departure Hilbert's Basis Theorem, which was discovered in the search for a proof of finite generation of rings of invariants. (This result will appear in Chapter 4). In Section 2.2 we prove unique factorisation in polynomial rings, by induction on the number of variables using Gauss's lemma. In Section 2.3 we prove the important fact that in a finitely generated algebra over a field an element contained in all maximal ideals is nilpotent. As we will see in Chapter 3, this observation is really nothing other than Hilbert's Nullstellensatz.

A power series ring in one variable is an example of a valuation ring, and we discuss these in Section 2.4. A valuation ring (together with its maximal ideal) is characterised among subrings of its field of fractions as a maximal element with respect to the dominance relation. This will be used in Chapter 3 for proving the Valuative Criterion for completeness of an algebraic variety.

In the final section we discuss Nagata's example of a group action under which the ring of invariants which is not finitely generated – that is, his counterexample to Hilbert's 14th problem. This is constructed by taking nine points in general position in the projective plane and considering the existence and non-existence of curves of degree d with assigned multiplicity m at each of the points, and making use of Liouville's Theorem on elliptic functions.

Hilbert's Basis Theorem

We begin with a discussion of the Basis Theorem, which is the key to Hilbert's theorem of finite generatedness that we will meet in Chapter 4. In Hilbert's original paper [19] the word ideal is not used; and we would like to state the Basis Theorem in a form close to that expressed by Hilbert.

Powered by UNSILO

[9] Introduction to Commutative Algebra, Addison-Wesley, 1969. , :

[10] RIMS preprint 1343, Kyoto (2001). : Counterexample to Hilbert's Fourteenth Problem for the 3-dimensional additive group,

[11] International Congress of Mathematicians, Edinburgh 1958. : On the fourteenth problem of Hilbert,

[12] On the 14th problem of Hilbert, Amer. J. Math. 81 (1959) 766–722. :

[13] Note on orbit spaces, Osaka Math. J. 14 (1962) 21–31. :

[14] On a problem of Zariski, Illinois J. Math. 2 (1958) 145–149. :

[15] On a theorem of Weitzenbock in invariant theory, J. Math. Kyoto Univ. 1 (1962) 403–409. :

[16] Über die Invarianten von Linearen Gruppen, Acta Math. 58 (1932) 230–250. :