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 support is the union of the closures of the associated primes
Statement
Let be a Noetherian commutative ring and let be a finitely generated left -module. Then
Facts & Assumptions
Given: A Noetherian commutative ring and a finitely generated left -module .
Minimal primes in the support of are associated primes of (Minimal support primes of a finite module are associated).
For a finitely generated module, (For a finite module, support is the set of primes containing the annihilator).
The module admits a prime filtration, and support is the union of the supports of its prime-filtration quotients (Finite modules over Noetherian rings admit prime filtrations, Support in a short exact sequence is the union of the outer supports, The support of a cyclic quotient is its vanishing set).
Every associated prime lies in the support (Associated primes lie in the support).
Proof
By [L3], write for the prime ideals occurring in a prime filtration of . Let . Then for some . Choose such an index with minimal under inclusion among the filtration primes contained in . If and , then [L3] gives some , so the minimal choice of forces and hence . Therefore is minimal in the support, so [L1] gives and . This proves .
Conversely, let and let . By [L4], the prime lies in the support; then [L2] gives , so . Thus for every .
Steps 1.1 and 1.2 prove the support decomposition.
Depends on
- Minimal support primes of a finite module are associated
- For a finite module, support is the set of primes containing the annihilator
- Finite modules over Noetherian rings admit prime filtrations
- Support in a short exact sequence is the union of the outer supports
- The support of a cyclic quotient is its vanishing set
- Associated primes lie in the support
Used by
Dependency tree · two levels
23 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., §17 (standard reference, not scraped)
- The Stacks Project, Proposition 10.63.6 (standard reference, not scraped)