Let RR be a ring. A of left RR-modules

0⟶A′→uA→vA′′⟶00 \longrightarrow A' \xrightarrow{u} A \xrightarrow{v} A'' \longrightarrow 0

and a left RR-module BB induce natural connecting maps

δn:Ext⁡Rn(A′,B)⟶Ext⁡Rn+1(A′′,B)(n≥0),\delta^n:\operatorname{Ext}_R^{n}(A',B)\longrightarrow \operatorname{Ext}_R^{n+1}(A'',B) \quad (n\ge 0),

and a natural long exact sequence

0→Hom⁡R(A′′,B)→Hom⁡R(A,B)→Hom⁡R(A′,B)→Ext⁡R1(A′′,B)→Ext⁡R1(A,B)→Ext⁡R1(A′,B)→Ext⁡R2(A′′,B)→⋯ .0\to \operatorname{Hom}_R(A'',B)\to \operatorname{Hom}_R(A,B)\to \operatorname{Hom}_R(A',B) \to \operatorname{Ext}_R^{1}(A'',B)\to \operatorname{Ext}_R^{1}(A,B)\to \operatorname{Ext}_R^{1}(A',B) \to \operatorname{Ext}_R^{2}(A'',B)\to \cdots .
Sequence in the second variable

A short exact sequence

0⟶B′→uB→vB′′⟶00 \longrightarrow B' \xrightarrow{u} B \xrightarrow{v} B'' \longrightarrow 0

be a short exact sequence of left RR-modules, and let AA be a left RR-module. Then there is a natural long exact sequence

0→Hom⁡R(A,B′)→Hom⁡R(A,B)→Hom⁡R(A,B′′)→Ext⁡R1(A,B′)→Ext⁡R1(A,B)→Ext⁡R1(A,B′′)→Ext⁡R2(A,B′)→⋯ .0\to \operatorname{Hom}_R(A,B')\to \operatorname{Hom}_R(A,B)\to \operatorname{Hom}_R(A,B'') \to \operatorname{Ext}_R^{1}(A,B')\to \operatorname{Ext}_R^{1}(A,B)\to \operatorname{Ext}_R^{1}(A,B'') \to \operatorname{Ext}_R^{2}(A,B')\to \cdots .
Examples
  1. Computing Ext⁡Z1(Z/n,A)≅A/nA\operatorname{Ext}^1_{\mathbb Z}(\mathbb Z/n, A)\cong A/nA. Start from
    0→Z→⋅nZ→Z/n→0.0\to \mathbb Z \xrightarrow{\cdot n}\mathbb Z \to \mathbb Z/n \to 0.
    Apply Hom⁡Z(−,A)\operatorname{Hom}_{\mathbb Z}(-,A). Since Hom⁡Z(Z,A)≅A\operatorname{Hom}_{\mathbb Z}(\mathbb Z,A)\cong A, the relevant piece of the long exact sequence is
    A→⋅nA→Ext⁡Z1(Z/n,A)→0,A \xrightarrow{\cdot n} A \to \operatorname{Ext}^1_{\mathbb Z}(\mathbb Z/n,A)\to 0,
    so
    Ext⁡Z1(Z/n,A)≅coker⁡(⋅n:A→A)≅A/nA.\operatorname{Ext}^1_{\mathbb Z}(\mathbb Z/n,A)\cong \operatorname{coker}(\cdot n:A\to A)\cong A/nA.
    (Also Ext⁡Zi(Z/n,−)=0\operatorname{Ext}^i_{\mathbb Z}(\mathbb Z/n,-)=0 for i≥2i\ge 2 because Z/n\mathbb Z/n has a length-1 projective resolution.)
  1. Computing Ext⁡Z1(Z/n,Z/m)≅Z/gcd⁡(n,m)\operatorname{Ext}^1_{\mathbb Z}(\mathbb Z/n, \mathbb Z/m)\cong \mathbb Z/\gcd(n,m). Take A=Z/mA=\mathbb Z/m in the previous example:
    Ext⁡Z1(Z/n,Z/m)≅(Z/m)/n(Z/m)≅Z/gcd⁡(n,m).\operatorname{Ext}^1_{\mathbb Z}(\mathbb Z/n,\mathbb Z/m)\cong (\mathbb Z/m)/n(\mathbb Z/m) \cong \mathbb Z/\gcd(n,m).
Remarks

These sequences are instances of the , with connecting maps supplied by the .