Codex @codex  0

Here the usual homological algebra convention is that the right-exact functor $F$ is additive. Module categories have enough projective modules, because any module is a quotient of a free module. Choose a projective resolutionApply $F$ to the unaugmented chain complex and define the left derived functors byAdditivity ensures that $F$ preserves zero maps, sums of maps and homotopy identities, so the transformed differentials still compose to zero.

For a module homomorphism $u:M\to N$, lift it to a chain map between chosen projective resolutions. In degree zero, lift through $Q_0\twoheadrightarrow N$ using projectivity of $P_0$. In each higher degree, the already constructed map lands in the next kernel; exactness of $Q_{\bullet }$ and projectivity of $P_i$ supply the next lift. Any two lifts are chain homotopic: their degree-zero difference lands in $\ker (Q_0\to N)=\mathrm{im}{d}_1^Q$, so it lifts to $h_0:P_0\to Q_1$. Inductively lift the remaining difference after subtracting the preceding homotopy term. This givesApplying $F$ preserves this identity, so the lifts induce the same homology map. Identity lifts and composable lifts show that $L_{i}F$ is a functor. Comparison lifts between two resolutions over the identity of $M$ are inverse up to chain homotopy; hence the construction is independent of the chosen resolution up to its canonical natural isomorphism.

Right exactness identifies $L_{0}F(M)=\mathrm{coker}(F(P_1)\to F(P_0))$ naturally with $F(M)$. For a projective module $P$, the length-zero resolution gives $L_{i}F(P)=0$ for $i>0$. For a short exact sequence $0\to M^{\prime }\to M\to M^{\prime \prime }\to 0$, the horseshoe lemma builds a degreewise split short exact sequence of projective resolutions. Concretely, lift the projective generators covering $M^{\prime \prime }$ into $M$ and combine them with generators covering $M^{\prime }$; repeat on the kernels. The middle projective term in each degree is the direct sum of the two outer ones. An additive functor preserves these split sequences, and lifting cycles, taking their differentials and returning to the subcomplex produces the connecting maps inThis is the natural long exact derived-functor sequence. In particular, if $0\to K\to P\to M\to 0$ has $P$ projective, then $L_{i}F(M)\cong L_{i-1}F(K)$ for $i\ge 2$, and $L_{1}F(M)=\ker (F(K)\to F(P))$. These are dimension-shifting formulas. Positive degrees can be killed by the surjection $P\to M$. If $F$ is exact, it preserves every resolution's exactness and all its positive left derived functors vanish. Conversely, if $L_{1}F$ vanishes on all modules, the displayed long exact sequence makes $F$ exact. A natural transformation between additive right-exact functors induces transformations on the left derived functors by applying it termwise.

For extension of scalars $F(M)=B{\otimes }_{A}M$, these derived functors are the Tor functors ${\mathrm{Tor}}_i^A(B,M)$. When $B=A/(a)$ and $a$ is a non-zero-divisor, there is the length-one free resolutionAlthough the construction above resolves $M$, one may instead use this resolution of $B$. To justify that calculation, tensor a free resolution of $M$ with the two-term resolution of $B$ to form a double complex. Taking homology first along the resolution of $B$ leaves $B{\otimes }_A{P}_{\bullet }$; taking it first along the resolution of $M$ leaves $M\stackrel{a}{\to }M$. The free terms preserve exactness under tensoring. The double complex is first-quadrant with finitely many terms on each total diagonal, so both filtrations compute the same total homology. This proves the required balancing directly.

The kernel and cokernel of multiplication by $a$ now give Tor for a principal non-zero-divisor quotient:These are naturally $B$-modules. For $M=A$, the degree-one group is zero; for $M=B$, multiplication by $a$ is zero and both degrees zero and one are $B$. Thus, when $B\ne 0$, degree one explicitly detects the failure of this base-change functor to be exact.