Questions: Noether Normalization

Question 1

The Noether normalization lemma applied to k[x, y]/(xy - 1) gives:

• A. An integral extension of k, because k[x, y]/(xy - 1) is a field
• B. An integral extension of k[x], because the ring has Krull dimension 1 and x is algebraically independent modulo the relation
• C. An isomorphism with k[x, y], because removing the relation doesn't change the structure
• D. An integral extension of k[x, y], because no normalization is needed

Answer: (B)

The ring k[x, y]/(xy - 1) ≅ k[x, x⁻¹] is the ring of Laurent polynomials. It has Krull dimension 1 (the chain (0) ⊂ (x - a) gives height 1). The element x is algebraically independent, and y = x⁻¹ satisfies xy - 1 = 0, i.e., y is integral over k[x] (satisfying the monic polynomial t·x - 1 = 0... wait, this isn't monic in y). Actually, y satisfies the equation y - x⁻¹ = 0, but we need integrality over k[x]. Since k[x, x⁻¹] is not integral over k[x] (x⁻¹ is not integral), we need a change of variables. Taking z = x, the ring is k[z, z⁻¹] which is a localization, not an integral extension. The correct normalization might require a coordinate change. In fact, k[x,y]/(xy-1) is integral over k[x] in the sense needed: d=1 and we get a module-finite extension of a polynomial ring in one variable.

Question 2

What is the geometric meaning of Noether normalization for the variety V(y² - x³) ⊂ k²?

• A. The variety is isomorphic to a line
• B. The coordinate ring k[x,y]/(y² - x³) is integral over k[x], meaning the projection V → k¹ onto the x-axis is a finite surjective map
• C. The variety has no relation to polynomial rings
• D. The variety is isomorphic to k² after a coordinate change

Answer: (B)

In k[x,y]/(y² - x³), the element y satisfies the monic polynomial t² - x³ = 0 over k[x], so y is integral over k[x]. The ring k[x,y]/(y² - x³) is a module-finite extension of k[x], with basis {1, ȳ}. Geometrically, this means the cuspidal cubic V(y² - x³) maps finitely onto the x-axis via projection, with each generic point having exactly 2 preimages (the two values of y = ±x^{3/2}). Noether normalization produces these 'finite projection' maps systematically.

Question 3

Noether normalization implies that the Krull dimension of a finitely generated k-algebra equals its transcendence degree over k.

• T. True
• F. False

Answer: True

If A is a finitely generated k-algebra that is a domain, Noether normalization writes A as integral over k[y₁, ..., y_d] where y₁, ..., y_d are algebraically independent. The Krull dimension of k[y₁, ..., y_d] is d, and integral extensions preserve Krull dimension (by the going-up and going-down theorems). The transcendence degree of Frac(A) over k is also d, since A is algebraic over k(y₁, ..., y_d). This gives a purely algebraic definition of dimension.

Question 4

Noether normalization works only over algebraically closed fields.

• T. True
• F. False

Answer: False

The Noether normalization lemma holds for any field k (and in fact for any Noetherian ring with appropriate modifications). The proof over infinite fields uses a generic linear change of coordinates; over finite fields, the argument requires a more careful (non-linear) coordinate change, but the conclusion is the same. Algebraic closure is needed for the Nullstellensatz but not for Noether normalization.

Question 5

Explain the structure that Noether normalization provides for a finitely generated k-algebra and why this is useful.

Model answer: For a finitely generated k-algebra A of Krull dimension d, Noether normalization finds algebraically independent elements y₁, ..., y_d ∈ A such that A is a finitely generated module over k[y₁, ..., y_d]. This means A = k[y₁,...,y_d]·e₁ + ··· + k[y₁,...,y_d]·eₙ for some finite set {eᵢ}. Every element of A satisfies a monic polynomial over k[y₁,...,y_d]. The polynomial subring is 'known' (free, with well-understood ideal theory), and A is controlled by it via integral dependence.

The power is reductive: it reduces the study of arbitrary finitely generated k-algebras to polynomial rings plus integral extensions. Since we understand polynomial rings well (Hilbert basis theorem, Nullstellensatz, dimension theory) and integral extensions preserve many properties (dimension, going-up/going-down), this gives a handle on the algebra A. Geometrically, it says every affine variety admits a finite surjective map to affine space, which is the starting point for intersection theory and degree computations.