Alphabeta Math
LemmaStatement: AI-generatedProof: AI-generated
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.

Dimension of the maximal spectrum

PDF p. 1: Serre splitting theorem

Statement

Let A be a nonzero noetherian commutative ring of finite Krull dimension d. Its maximal spectrum Ω, the set of maximal ideals with the topology induced from Spec⁡A, is noetherian and has topological dimension at most d. Krull dimension is the supremum of the lengths of strict chains of prime ideals; topological dimension is the supremum of the lengths of strict chains of irreducible closed subsets.

Facts & Assumptions

Given: A nonzero noetherian commutative ring A of finite Krull dimension d.

Goal: Establish the noetherian and dimension assertions for Ω.

Proof

1.1givenconstruct

The closed sets of Spec⁡A are the sets V(I) of primes containing an ideal I. An ascending chain of ideals stabilizes because A is noetherian, so descending chains of closed sets stabilize. Every subspace of a noetherian topological space is noetherian: the closures in the ambient space of a descending chain of subspace-closed sets stabilize, and intersection with the subspace recovers each set.

2.1givenstep 1.1construct∎

The ambient closures of a strict chain of irreducible closed subsets of Ω form a strict chain of irreducible closed subsets of Spec⁡A: closure preserves irreducibility, and intersection with Ω recovers each member. Each irreducible closed subset of Spec⁡A is V(p) for a prime p: if V(I) is irreducible, its radical is prime, since ab in the radical implies V(I)⊆V(a)∪V(b). Inclusion of such closed sets reverses inclusion of primes. Hence every chain has length at most d.

Used by · 1