Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedverified 2026-09-24 (gpt-6-sol)
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.

A system of parameters need not minimally generate the maximal ideal

Example

Let R=k[x,y](x,y)/(y2−x3). Then R has dimension 1, the ideal (xˉ) is a parameter ideal, but the maximal ideal m=(xˉ,yˉ) is not generated by one element.

Facts & Assumptions

Given: A field k and the cusp local ring R=k[x,y](x,y)/(y2−x3) with maximal ideal m=(xˉ,yˉ).

[L1]

By definition, a one-element tuple in a one-dimensional local ring is a system of parameters when its generated ideal has maximal radical (Systems of parameters and parameter ideals).

[L2]

For a finite-type k-domain, dimension equals fraction-field transcendence degree (Affine-domain dimension equals transcendence degree), and localization does not increase dimension (Localisation does not increase Krull dimension).

Verification

technique · direct computation
1.1L2givenalgebra

Put T=k[x,y]/(y2−x3). Division by the monic polynomial in y writes every element uniquely as a(x)+yb(x); substituting x=t2, y=t3 maps this to a(t2)+t3b(t2), whose even and odd powers cannot cancel. Thus T embeds in k[t] and is a domain. Its fraction field is algebraic over k(x) because y2=x3, so [L2] gives dim⁡T=1; localizing at (x,y) gives dim⁡R≤1. Also R/(xˉ)≅k[y](y)/(y2) is Artinian local, so (xˉ) has radical m.

1.2givenalgebra

If m were principal, then m/m2 would be one-dimensional over the residue field. But the classes of xˉ and yˉ are linearly independent modulo m2, so m is not principal. In particular m≠(0), so R is not a field.

2.1L1step 1.1step 1.2algebra

The ring R is a domain by step 1.1, so (0) is prime. Its nonzero maximal ideal m from step 1.2 gives a strict prime chain (0)⊊m, hence dim⁡R≥1 directly. Together with dim⁡R≤1 from step 1.1, this forces dim⁡R=1. Then [L1] makes (xˉ) a parameter ideal.

3.1step 1.2step 2.1∎

Therefore (xˉ) is a parameter ideal while m is not principal, so a system of parameters need not minimally generate the maximal ideal.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

12 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