Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-05
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.

Irreducible components of the spectrum correspond to minimal prime ideals

Statement

Assume the Axiom of Choice.

Let R be a commutative ring.

  1. If p is a minimal prime ideal of R, then V(p) is an irreducible component of Spec⁡(R). 2. Every irreducible component of Spec⁡(R) is of the form V(p) for a unique minimal prime ideal p.

Thus irreducible components of Spec⁡(R) correspond exactly to minimal prime ideals.

Facts & Assumptions

Given: A commutative ring R and the Axiom of Choice.

[L1]

A nonempty Zariski-closed subset is irreducible exactly when its radical defining ideal is prime, and then it equals the closure V(p) of its unique generic point p (A Zariski-closed subset is irreducible exactly when its radical defining ideal is prime, and then it has a unique generic point).

[L2]

V(I) is the set of prime ideals containing I (The prime spectrum and vanishing sets).

Proof

technique · direct
1.1L1given

Let p be a minimal prime ideal. Since p is prime, fact [L1] shows that V(p) is irreducible.

1.2L1L2given

If V(p)⊆Y for an irreducible closed subset Y, then [L1] gives Y=V(q) for a prime ideal q. The inclusion V(p)⊆V(q) means q⊆p by [L2]. Minimality of p forces q=p, so Y=V(p). Hence V(p) is maximal among irreducible closed subsets, that is, an irreducible component.

1.3L1L2given

Let Y be an irreducible component. By [L1], Y=V(p) for a prime ideal p. If q⊆p is another prime, then V(p)⊆V(q) by [L2]. Since V(q) is irreducible by [L1], maximality of the component Y forces V(p)=V(q), and [L1] then gives p=q. Thus p is minimal.

2.1L1step 1.3

The prime ideal in step 1.3 is unique because [L1] gives a unique generic point for every irreducible component.

3.1step 1.1step 1.2step 1.3step 2.1∎

Steps 1.1, 1.2, 1.3, and 2.1 give the claimed correspondence between irreducible components and minimal prime ideals.

Depends on

Used by

Dependency tree · two levels

15 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