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 radicals in a minimal primary decomposition are exactly the associated primes of the quotient
Statement
Let be a Noetherian commutative ring, let be a finitely generated left -module, and let
be a minimal primary decomposition in which each is -primary. Assume each is a prime ideal. Then
Facts & Assumptions
Given: A Noetherian commutative ring , a finitely generated left -module , and a minimal primary decomposition with each -primary for a prime ideal .
In a minimal primary decomposition, the component radicals are pairwise distinct and no component is redundant (Primary decompositions, minimality, and isolated components).
Associated primes of a submodule lie in those of the ambient module, and associated primes of a direct sum are the union of those of the summands (Associated primes in a short exact sequence).
If is -primary, then (Primary submodules of finite modules are characterized by a singleton associated-prime set).
Every nonzero module over a Noetherian ring has an associated prime (A nonzero module over a Noetherian ring has an associated prime).
Proof
Let be the diagonal map. Its kernel is zero, because maps to zero exactly when for every , that is, when . Thus is injective. By [L3] and the direct-sum part of [L2], Since is a submodule of that direct sum, the left-inclusion part of [L2] gives
Fix . Put . By [L1], the decomposition is irredundant, so and therefore . The map is injective because its kernel is . Hence is a nonzero submodule of . By [L2] and [L3], Fact [L4] makes nonempty, so . Applying [L2] again to the inclusion yields .
Step 1.2 shows every belongs to , and step 1.1 gives the reverse inclusion. Therefore .
Depends on
Used by
Dependency tree · two levels
20 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., Lemma (18.19) and Theorem (18.20) (standard reference, not scraped)
- J. S. Milne, A Primer of Commutative Algebra, v4.03, Theorem 19.19 (standard reference, not scraped)