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.
Elementwise formula for the connecting map in module categories
Statement
Let be a ring and let be a short exact sequence of chain complexes of left -modules. If is represented by a cycle , choose a lift with , and let be the unique element satisfying Then This class is independent of the chosen lift and of the chosen cycle representative .
Facts & Assumptions
Given: A short exact sequence of chain complexes of left -modules and a class .
The connecting morphism in homology is the unique map induced from the preconnecting arrow on cycles (The connecting morphism in homology).
A short exact sequence of complexes is exact in each degree (Short exact sequence of complexes).
The category of left -modules is abelian, so kernels, images, and cokernels are the usual module ones (Modules over a ring form an abelian category).
Proof
Because is a cycle, By [L2] and [L3], lies in the image of , so there is a unique with . The definition in [L1] then gives .
If is another lift of the same cycle , then for some by [L2] and [L3]. Hence Since is injective, is a boundary, so .
If is another cycle representative of , choose a lift of . Then lifts , and its boundary differs from by Equivalently, the corresponding element of differs from by a boundary. So the class from step 1.1 depends only on .
Depends on
Used by
- Naturality of a connecting map under a map of coefficient sequences Example
- The connecting map for a short exact sequence of two-term complexes Example
- FALSE: the connecting morphism is defined by choosing one lift with no independence proof False statement
- The cone connecting map agrees with the shifted identity up to the declared sign Proposition
Dependency tree · two levels
13 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
- Charles A. Weibel, Chapter 1 of An Introduction to Homological Algebra (standard reference, not scraped)