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.
Assuming the Axiom of Choice, an element lies in the Jacobson radical exactly when one minus any multiple is a unit
Statement
Assume the Axiom of Choice.
For a commutative ring and an element ,
Facts & Assumptions
Given: A commutative ring and an element .
The Jacobson radical is the intersection of the maximal ideals, with (The Jacobson radical of a ring).
In a nonzero commutative ring, every proper ideal is contained in a maximal ideal (In a nonzero commutative ring, every proper ideal is contained in a maximal ideal).
A maximal ideal is a maximal proper ideal under inclusion (Prime ideals and maximal ideals in a commutative ring).
Proof
If , then by [L1], the only element is , and is the identity element of the zero ring, hence a unit. So the statement holds in this case.
Assume and first suppose . Fix . If lay in a maximal ideal , then [L1] gives , hence also , so , impossible. Thus lies in no maximal ideal.
Conversely, suppose is a unit for every and that . By [L1], choose a maximal ideal with . Then the ideal strictly contains , so maximality from [L3] gives . Thus for some and , so . But an element of a proper ideal cannot be a unit, contradicting the hypothesis. Therefore .
Still under the hypothesis of step 1.2, if were not a unit, then the principal ideal it generates would be proper, so [L2] would place it in a maximal ideal, contradicting step 1.2. Hence is a unit for every .
Steps 1.1, 2.1, and 1.3 prove the equivalence.
Depends on
Used by
Dependency tree · two levels
11 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
- A. Altman and S. Kleiman, A Term of Commutative Algebra, 13th ed., Exercise 10.11 (standard reference, not scraped)
- The Stacks Project, Lemma 10.19.1 (standard reference, not scraped)