Affine Varieties and Finite Generation
Handbook guide to affine varieties and finite generation with core definitions, structural results, reasoning methods and verification checks.
How the topic fits together
Varieties
This source section supplies the definitions, constructions and formal results used in this article. The sequence of results is preserved so later claims are not detached from their prerequisites.
The Hilbert Basis Theorem
This source section supplies the definitions, constructions and formal results used in this article. The sequence of results is preserved so later claims are not detached from their prerequisites.
Core definitions and structural results
The following cards retain the mathematical content of the source while condensing long proofs into verification strategies. Numerical examples are treated as examples, not universal requirements.
Definition
We will be working in k[X1, . . . , Xn], the ring of polynomials in n variables over the field k. (Any application of the Nullstellensatz requires that k be algebraically closed, but we will not make this assumption until it becomes necessary.) The set An = An(k) of all n-tuples with components in k is called affine n-space. If S is a set of polynomials in k[X1, . . . , Xn], then the zero-set of S, that is, the set V = V (S) of all x ∈An such that f(x) = 0 for every f ∈S, is called a variety. (The term “affine variety” is more precise, but we will use the short form because we will not be discussing projective varieties.) Thus a variety is the solution set of simultaneous polynomial equations.
Proof / verification strategy: Use this as a definition checklist: identify the ambient object, test each stated condition separately, then compare examples and non-examples without assuming later theorems.
Proposition
(1) If Vα = V (Iα) for all α ∈T, then Vα = V ( Iα). Thus an arbitrary intersection of varieties is a variety. (2) If Vj = V (Ij), j = 1, . . . , r, then r j=1 Vj = V ({f1 · · · fr : fj ∈Ij, 1 ≤j ≤r}). Thus a finite union of varieties is a variety.
Proof / verification strategy: Start from the stated definitions, prove each required implication or inclusion separately, and use the immediately preceding structural result where it shortens the argument.
Definition
If X is an arbitrary subset of An, define the ideal of X as I(X) = {f ∈k[X1, . . . , Xn] : f vanishes on X}. By definition one has: (4) If X ⊆Y then I(X) ⊇I(Y ); if S ⊆T then V (S) ⊇V (T). Now if S is any set of polynomials, define IV (S) as I(V (S)), the ideal of the zero-set of S; we are simply omitting parentheses for convenience. Similarly, if X is any subset of An, one can define V I(X), IV I(X), V IV (S), and so on.
Proof / verification strategy: Use this as a definition checklist: identify the ambient object, test each stated condition separately, then compare examples and non-examples without assuming later theorems.
Hilbert Basis Theorem
Hilbert Basis Theorem If R is a Noetherian ring, then R[X1, . . . , Xn] is also Noetherian.
Proof / verification strategy: Start from the stated definitions, prove each required implication or inclusion separately, and use the immediately preceding structural result where it shortens the argument.
Corollary
Every variety is the intersection of finitely many hypersurfaces (zero-sets of single polynomials).
Proof / verification strategy: Start from the stated definitions, prove each required implication or inclusion separately, and use the immediately preceding structural result where it shortens the argument.
Formal Power Series
Formal Power Series The argument used to prove the Hilbert basis theorem can be adapted to show that if R is Noetherian, then the ring R[[X]] of formal power series is Noetherian.
Proof / verification strategy: Start from the stated definitions, prove each required implication or inclusion separately, and use the immediately preceding structural result where it shortens the argument.
Quick-reference relationships
Problem-solving workflow
Fix the field and polynomial ring
The geometry depends on the base field and on which polynomial ring defines the coordinate system.
Move carefully between sets and ideals
Use V(I) for common zero sets and I(V) for polynomials vanishing on a set; reverse inclusions are expected.
Check radical conditions
Equality of varieties generally corresponds to equality of radicals rather than equality of arbitrary ideals.
Localise when studying local behaviour
Choose the multiplicative set deliberately and track which elements become units.
Separate geometric and algebraic claims
A geometric statement should be translated into the precise ideal-theoretic statement before invoking a theorem.
Verify with low-dimensional examples
Affine lines, planes and principal ideals reveal the direction of the correspondences.
Worked-solution emphasis from the supplied source
The source exercises reinforce definition checking, construction of examples and direct use of the formal results in this article.
Common mistakes and boundary conditions
- Reversing the inclusion direction between ideals and zero sets.
- Replacing an ideal by its variety and expecting to recover the same ideal rather than its radical.
- Localising without checking that the chosen set is multiplicatively closed and avoids zero.
Verification checklist
- State the ambient algebraic structure and operation before applying a theorem.
- Record every hypothesis that controls the result: finiteness, commutativity, normality, primality, separability, exactness or other section-specific conditions.
- Distinguish a definition from a theorem that follows from it.
- Check whether a map is well-defined before using its kernel, image, inverse or induced map.
- Use a concrete example only as a check; do not promote an illustrative value or pattern to a universal rule.
- When a quotient, localisation or extension is constructed, identify the canonical map and what becomes equal, invertible or fixed.
Source coverage map
| Source section | Subject | PDF pages analysed |
|---|---|---|
| 8.1 | Varieties | 156–157 |
| 8.2 | The Hilbert Basis Theorem | 158–159 |
Related Mathematics pages
Source note: synthesised from the supplied abstract-algebra PDF. The complete 298-page file, including diagrams and worked solutions, was reviewed. Source-identifying author and bibliographic personal details are intentionally omitted. Formal proofs are condensed; the page does not claim requirements or values not supported by the supplied mathematics.