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

0AuAvA00 \longrightarrow A' \xrightarrow{u} A \xrightarrow{v} A'' \longrightarrow 0

and a left RR-module BB induce natural connecting maps

δn:ExtRn(A,B)ExtRn+1(A,B)(n0),\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

0HomR(A,B)HomR(A,B)HomR(A,B)ExtR1(A,B)ExtR1(A,B)ExtR1(A,B)ExtR2(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

0BuBvB00 \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

0HomR(A,B)HomR(A,B)HomR(A,B)ExtR1(A,B)ExtR1(A,B)ExtR1(A,B)ExtR2(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 ExtZ1(Z/n,A)A/nA\operatorname{Ext}^1_{\mathbb Z}(\mathbb Z/n, A)\cong A/nA. Start from
    0ZnZZ/n0.0\to \mathbb Z \xrightarrow{\cdot n}\mathbb Z \to \mathbb Z/n \to 0.
    Apply HomZ(,A)\operatorname{Hom}_{\mathbb Z}(-,A). Since HomZ(Z,A)A\operatorname{Hom}_{\mathbb Z}(\mathbb Z,A)\cong A, the relevant piece of the long exact sequence is
    AnAExtZ1(Z/n,A)0,A \xrightarrow{\cdot n} A \to \operatorname{Ext}^1_{\mathbb Z}(\mathbb Z/n,A)\to 0,
    so
    ExtZ1(Z/n,A)coker(n:AA)A/nA.\operatorname{Ext}^1_{\mathbb Z}(\mathbb Z/n,A)\cong \operatorname{coker}(\cdot n:A\to A)\cong A/nA.
    (Also ExtZi(Z/n,)=0\operatorname{Ext}^i_{\mathbb Z}(\mathbb Z/n,-)=0 for i2i\ge 2 because Z/n\mathbb Z/n has a length-1 projective resolution.)
  1. Computing ExtZ1(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:
    ExtZ1(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 .