Long exact sequence for Ext
The natural long exact sequence in Ext induced by a short exact sequence of modules.
Let be a ring. A short exact sequence of left -modules
and a left -module induce natural connecting maps
and a natural long exact sequence
Sequence in the second variable
A short exact sequence
be a short exact sequence of left -modules, and let be a left -module. Then there is a natural long exact sequence
Examples
- Computing . Start from Apply . Since , the relevant piece of the long exact sequence isso(Also for because has a length-1 projective resolution.)
- Computing . Take in the previous example:
Remarks
These sequences are instances of the long exact sequence for derived functors, with connecting maps supplied by the connecting homomorphism.