How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Every affine algebraic set has finitely many irreducible components
Statement
Let be an algebraically closed field and let be an affine algebraic set. Then there exist finitely many irreducible closed subsets such that no is contained in the union of the others, and the family is uniquely determined up to reordering. These sets are the irreducible components of .
Facts & Assumptions
Given: An algebraically closed field and an affine algebraic set .
Algebraic sets correspond to radical ideals, and irreducible nonempty algebraic sets correspond to prime ideals (Affine algebraic sets correspond to radical ideals, and irreducible ones to prime ideals).
In a Noetherian ring, every radical ideal is a finite intersection of the prime ideals minimal over it (A radical ideal in a Noetherian ring is a finite intersection of minimal primes).
Proof
The ideal is radical by [L1], so [L2] yields minimal prime ideals over with Applying [L1] again, and each is irreducible.
This union is irredundant. Indeed, if , then [L1] reverses inclusions and gives . Minimality of the over forces equality, so distinct terms cannot contain one another.
Let be any irreducible closed subset. Then is an affine algebraic set, so for some prime ideal containing by [L1]. Since the are precisely the minimal primes over , some is contained in , hence . Therefore every irreducible closed subset of lies in one of the .
Step 2.2 shows that the maximal irreducible closed subsets of are exactly the sets . Hence the family from step 1.1 is uniquely determined up to order and is precisely the irreducible-component decomposition of .
Depends on
Used by
Dependency tree · two levels
10 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- J. S. Milne, Algebraic Geometry, Proposition 2.31 (standard reference, not scraped)
- Donu Arapura, Notes on Basic Algebraic Geometry, Theorem 1.5.3 (standard reference, not scraped)