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.
Radical invariance of first nonzero Ext
Statement
Let be Noetherian, a finite -module, and ideals with . Then the first nonzero degrees of and are equal, with simultaneous value if both families vanish.
Facts & Assumptions
Given: The data in the statement.
Proof
Since and are finitely generated and have equal radicals, some positive powers satisfy and : take powers of each generator lying in the other ideal, then a sufficiently high power of the whole ideal lies there. Fix and suppose for . The same vanishing holds for every finite -module . Indeed, for each such choose a finite free -module surjecting onto it, with finite kernel . For , injects into . Inductively, for , the long exact Ext sequence places between and . If a finite module is killed by , its finite filtration has finite -module quotients, so the long exact sequences give the same vanishing for . The converse follows by taking .
Apply this first to , annihilated by , and then symmetrically to . The two Ext families vanish through the same initial range, including the all-vanishing case.
Used by
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.
Sources
- Depth and Cohen--Macaulay modules source treatment (standard reference, not scraped)