Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passaudited 2026-09-12
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 k be an algebraically closed field and let X⊆Akn be an affine algebraic set. Then there exist finitely many irreducible closed subsets X1,…,Xm⊆X such that X=X1∪⋯∪Xm, no Xi is contained in the union of the others, and the family {X1,…,Xm} is uniquely determined up to reordering. These sets are the irreducible components of X.

Facts & Assumptions

Given: An algebraically closed field k and an affine algebraic set X⊆Akn.

[L1]

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).

[L2]

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

technique · direct
1.1L1L2given

The ideal I(X) is radical by [L1], so [L2] yields minimal prime ideals p1,…,pm over I(X) with I(X)=p1∩⋯∩pm. Applying [L1] again, X=V(I(X))=V(p1)∪⋯∪V(pm), and each V(pi) is irreducible.

2.1L1step 1.1algebra

This union is irredundant. Indeed, if V(pi)⊆V(pj), then [L1] reverses inclusions and gives pj⊆pi. Minimality of the pi over I(X) forces equality, so distinct terms cannot contain one another.

2.2L1step 1.1choose

Let Y⊆X be any irreducible closed subset. Then Y is an affine algebraic set, so Y=V(q) for some prime ideal q containing I(X) by [L1]. Since the pi are precisely the minimal primes over I(X), some pi is contained in q, hence Y=V(q)⊆V(pi). Therefore every irreducible closed subset of X lies in one of the V(pi).

3.1step 2.1step 2.2∎

Step 2.2 shows that the maximal irreducible closed subsets of X are exactly the sets V(pi). Hence the family from step 1.1 is uniquely determined up to order and is precisely the irreducible-component decomposition of X.

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