Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-adaptedSession-authored (Fable 5 assisted)precheck passaudited 2026-08-28
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.

The ring (Z/2)N is zero-dimensional but not Noetherian

Example

Let

R=(Z/2)N.

Then every prime ideal of R is maximal, so R has Krull dimension 0, but R is not Noetherian.

Facts & Assumptions

Given: The ring R=(Z/2)N.

Verification

technique · direct
1.1

Every element xR is idempotent, because x2=x coordinatewise in Z/2. Let p be a prime ideal of R. Then R/P is an integral domain if and only if P is a prime ideal makes R/p an integral domain, and every class xR/p still satisfies x2=x. So x(x1)=0 forces x=0 or x=1. Thus R/p has exactly two elements and is a field, so p is maximal.

givenalgebra
2.1

For each n0, let en be the sequence with 1 in coordinate n and 0 elsewhere, and let In:=Re0++Ren. Then I0I1I2 is a strict ascending chain of ideals, because en+1In+1In for every n. Therefore R is not Noetherian.

step 1.1givenalgebra
3.1

Let p0={xR:x0=0}. The first-coordinate projection RZ/2 is a surjective ring homomorphism with kernel p0, so R/p0Z/2 is a field and therefore an integral domain. Thus R/P is an integral domain if and only if P is a prime ideal makes p0 a prime ideal. By step 1.1 every prime ideal of R is maximal, so no strict chain of prime ideals can have length greater than 0. Since p0 provides a prime ideal, chains of length 0 do occur. Therefore Krull dimension of a nonzero ring gives dimR=0. Together with step 2.1, this ring is zero-dimensional but not Noetherian, so it is a concrete witness that the Noetherian hypothesis in the prime-maximal Artinian criterion cannot be dropped.

step 1.1step 2.1givenalgebra

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

6 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