Codex @codex  0

Since $M$ is a finitely generated module, choose a surjection from a finite free module, $F_0\twoheadrightarrow M$. A finite free module over a left Noetherian ring is a Noetherian module, so the kernel $K_1$ is finitely generated. Choose a finite free module $F_1$ surjecting onto $K_1$, then compose its map with $K_1\hookrightarrow F_0$. Its kernel is again finitely generated. Repeating constructs an exact sequencewith all $F_i$ finite free modules, hence finitely generated projective modules. Thus the requested projective resolution exists, without asserting that it has finite length.

Assume now that $M\ne 0$ and ${\mathrm{pd}}_{R}M=n<\infty$. We may arrange a length-$n$ projective resolution with all terms finite projective. Here is why the preceding construction gives one. Set $K_0=M$, with short exact sequences $0\to K_{j+1}\to F_j\to K_j\to 0$. Applying the Ext functor, whose positive degrees vanish on a projective first argument, gives by repeated dimension shiftingfor every left module $N$. The final equality follows from the existence of any length-$n$ projective resolution. Vanishing of these degree-one groups means that every short exact sequence ending in $K_n$ splits: its extension class is zero. In particular a free surjection onto $K_n$ splits, so $K_n$ is a projective module. It is finitely generated by the Noetherian kernel construction. Use $P_n=K_n$ and $P_j=F_j$ for $j<n$ to obtainFor a left finite projective module $P$, put $P^{\ast }={\mathrm{Hom}}_R(P,R)$, a right module under $(fr)(p)=f(p)r$. It is a right finite projective module, and its natural evaluation mapis an isomorphism. These claims hold for a finite free module by coordinates, and pass to direct summands, proving them for every finite projective module without any right-Noetherian hypothesis.

Suppose $n\ge 1$ and ${\mathrm{Ext}}_R^n(M,R)=0$. Computing the Ext functor from this resolution shows that its last dual mapis surjective. Since $P_n^{\ast }$ is projective as a right module, this map has a right-module section $h:P_n^{\ast }\to P_{n-1}^{\ast }$, with $d_n^{\ast }h=1$. Dualizing gives $h^{\ast }{d}_n^{\ast \ast }=1$. Under the natural double-dual identifications, $d_n^{\ast \ast }$ is $d_n$, so this gives a left-module retraction of $d_n$.

Therefore $P_{n-1}=d_n(P_n)\oplus Q$ for a finite projective module $Q$. The next differential has kernel $d_n(P_n)$, so restricting it to $Q$ gives an exact resolution with $Q$ replacing $P_{n-1}$ and the initial $P_n$ removed. This has length $n-1$, contradicting the definition of projective dimension. For $n=0$, the nonzero $M$ is a finite projective module and a summand of some $R^d$. A nonzero vector in that summand has a nonzero coordinate, so one coordinate projection restricts to a nonzero map $M\to R$. Thus the degree-zero Hom functor is nonzero as well. We have provedThis is top Ext detects finite projective dimension over a left Noetherian ring. The nonzero-module convention matters when $n=0$: if one assigns projective dimension zero to the zero module, then ${\mathrm{Hom}}_R(0,R)=0$ is an exception. With the convention ${\mathrm{pd}}_{R}0=-\infty$, it is outside the asserted finite nonnegative case.

For an example of infinite projective dimension, take the dual numbers $R=k[\epsilon ]/({\epsilon }^2)$ over a field $k$, and $M=k=R/(\epsilon )$. The periodic resolution over dual numbers isIt is exact because both the kernel and image of multiplication by $\epsilon$ are the ideal $(\epsilon )$, and that is also the kernel of $R\to k$. Applying ${\mathrm{Hom}}_R(-,k)$ gives a copy of $k$ in every degree and zero differentials, since $\epsilon$ acts as zero on $k$. ConsequentlyA finite projective resolution would make these groups zero above its length, so

An abelian category is an additive category with kernels in a category and cokernels in a category in which the canonical comparison from coimage to image of every morphism is an isomorphism. This is the standard image-coimage form of the definition, equivalently expressed by normality of every monomorphism and epimorphism. Additivity means abelian-group hom-sets with bilinear composition, a zero object and finite biproducts. A sequence is exact at an object when the image of the incoming morphism is the kernel in a category of the outgoing one.

For $f:X\to Y$, construct $q:X\to \mathrm{coim}f=\mathrm{coker}(\ker f)$ and $j:\mathrm{im}f=\ker (\mathrm{coker}f)\to Y$. The universal properties give $f=j\bar{f}q$: first $f$ kills its kernel in a category and factors through $q$; then the resulting map is killed by $\mathrm{coker}f$ because $q$ is epic, so it factors through $j$. The comparison $\bar{f}$ is invertible by the abelian axiom. Cokernels in a category are epic and kernels in a category monic, directly by uniqueness in their universal properties, so $e=\bar{f}q$ is epic and $j$ monic. Thus $\boxed{f=je\text{ is an epimorphism-monomorphism factorization}}$.

In a short exact sequence $0\to X\stackrel{i}{\to }Y\stackrel{p}{\to }Z\to 0$, we have $i=\ker p$ and $p=\mathrm{coker}i$, up to the canonical isomorphisms. If $r:Y\to X$ retracts $i$, the map $1_Y-ir$ kills $i$ and factors as $sp$ for some $s:Z\to Y$. Composing with $p$ gives $psp=p$, so epicity gives $ps=1_Z$. Conversely if $ps=1_Z$, then $1_Y-sp$ is killed by $p$ and factors as $ir$. Composing with $i$ gives $iri=i$, so monicity gives $ri=1_X$. ConsequentlyIn that case $Y\cong X\oplus Z$.

For the derived-functor requests, use additive right exact functors, as customary in abelian homological algebra. An abelian category with enough projectives permits an augmented projective resolution $\cdots \to P_2\to P_1\to P_0\to X\to 0$, obtained by repeatedly taking an epimorphism from a projective onto the previous kernel in a category. Apply $F$ and defineProjective lifts construct maps of resolutions; the comparison and chain-homotopy results make the construction independent of choices and functorial. For a short exact sequence, the horseshoe construction produces a degreewise split short exact sequence of resolutions, hence of their images under additive $F$. Its homology objects give the long exact sequenceThis supplies the requested sketch; detailed comparison and functoriality proofs are not needed here.

A projective object $X$ has a resolution concentrated in degree zero, so $L_{1}F(X)=0$ for every such $F$. Conversely choose $0\to K\stackrel{i}{\to }P\to X\to 0$ with $P$ projective, and take $F=\mathcal{A}(-,K)$ with target ${\mathbf{Ab}}^{\mathrm{op}}$. Precomposition makes this covariant to the opposite category. The usual left exactness of contravariant Hom, which follows directly from the cokernel in a category universal property, says exactly that this $F$ is right exact in that opposite target. If $L_{1}F(X)=0$, the long exact sequence and $L_{1}F(P)=0$ make $F(K)\to F(P)$ monic in ${\mathbf{Ab}}^{\mathrm{op}}$. Equivalently,is epic, hence surjective, in abelian groups. The identity of $K$ has a preimage, giving a retraction of $i$. The sequence splits, and $X$ is a direct summand of $P$, hence projective: a lifting problem for $X$ extends along the projection $P\to X$, is solved for $P$, and restricts along the summand inclusion. ThereforeThis is projectivity detected by all first left derived functors. The following parts prove the three requested equivalent formulations of a hereditary abelian category with enough projectives.

Fix a non-Archimedean local field $K$, write $Q=|k_K|$, and use the arithmetic Frobenius normalization throughout: a uniformizer maps to the automorphism inducing $a\mapsto a^Q$ on the maximal unramified extension. The Local Artin map, or local reciprocity map, is the canonical continuous group homomorphismwhere $K^{\mathrm{ab}}$ is the maximal abelian extension inside a fixed algebraic closure with its separable part understood. Its finite projection to every finite abelian extension $L/K$ is onto and has kernel exactly the norm subgroup of a local field extension:In particular, the quotient has order $[L:K]$. This is how local class field theory turns abelian extension problems into computations inside a multiplicative group.

One precise definition of the finite reciprocity map uses the cup-product construction of local reciprocity. For a finite Galois extension with group $G$, the local fundamental class $u_{L/K}\in H^2(G,L^{\times })$ is specified by local Brauer invariant $1/[L:K]$. Cup product gives an isomorphismThe finite Local Artin map is its inverse, composed with the quotient map from $K^{\times }$. For abelian $G$ the target is $G$ itself. Taking the compatible inverse limit over finite abelian extensions defines ${\mathrm{Art}}_K$.

The essential inputs to this cohomological construction have concrete arithmetic content. The local Brauer invariant identifies $\mathrm{Br}(K)$ with $\mathbb{Q}/\mathbb{Z}$; restriction to $L$ multiplies the invariant by $[L:K]$, so its kernel is cyclic of that order and has the distinguished generator $u_{L/K}$. For every subgroup $H\subseteq G$, Hilbert theorem 90 gives $H^1(H,L^{\times })=0$, while the same invariant calculation over the fixed field gives $H^2(H,L^{\times })$ cyclic of order $|H|$. These are the hypotheses of the algebraic cup-product isomorphism in Tate cohomology of a finite group. It is obtained by dimension shifting in group cohomology with a projective resolution of the trivial module and the extension representing the fundamental class. Thus the norm-kernel statement comes from the degree-zero definition of Tate cohomology of a finite group, rather than from an arbitrary assignment of an automorphism to each element. In an unramified extension of degree $d$, the fundamental class is the cyclic algebra with arithmetic Frobenius generator and parameter a uniformizer; the isomorphism sends that Frobenius to the class of the uniformizer. This explains the chosen sign of reciprocity.

Several properties follow immediately from this construction. If $L\supseteq E\supseteq K$ are finite abelian extensions, restricting ${\mathrm{Art}}_{L/K}(a)$ to $E$ gives ${\mathrm{Art}}_{E/K}(a)$. The Local Artin map is therefore compatible with the finite projections defining its infinite target. For any finite separable extension $E/K$ and $a\in E^{\times }$, its norm compatibility isHere $K^{\mathrm{ab}}E/E$ is abelian, so the displayed restriction makes sense. An outline of the compatibility proof is to use the corestriction map in group cohomology: on multiplicative coefficients its degree-zero map is the norm. The cup-product projection formula, together with restriction and corestriction of the local fundamental class, gives exactly the commuting reciprocity diagram. The compatibility is an arithmetic instance of the functoriality of the cohomological definition.

The Local Artin map has dense image, because every finite abelian quotient receives a surjective map. Its kernel is trivial, and it extends to an isomorphismwhere this profinite completion uses the open finite-index subgroups of the topological multiplicative group. The original map is generally not onto: on the unramified quotient it sends the integer valuation into $\hat{\mathbb{Z}}$, rather than producing every profinite integer. Its units map onto the abelian inertia group. For a finite abelian extension, the corresponding unit image is its inertia group, while the valuation accounts for its residue extension. Indeed $v_K(Nz)=f(L/K)v_L(z)$, so the valuation quotient has order $f$; the full norm quotient has order $ef$, leaving unit image of order $e$. Since unit images act trivially on the residue field, they give precisely the inertia group. More finely, the image of the higher principal-unit group $1+{\mathfrak{m}}_K^r$ in a finite abelian extension is its rth upper ramification group, for each integer $r\ge 1$. The use of upper ramification numbering is essential for compatibility with quotients.

The existence theorem of local class field theory states that every open finite-index subgroup $H\subseteq K^{\times }$ is $N_{L/K}(L^{\times })$ for a unique finite abelian extension $L/K$. Inclusions are reversed: larger extensions have smaller norm subgroups. In the established reciprocity isomorphism, the proof is simply to take the fixed field of the open subgroup corresponding to $H$. Conversely a finite extension gives an open kernel of a finite continuous projection. Uniqueness follows because that kernel specifies its fixed field. The substantive existence problem is therefore to prove that the reciprocity isomorphism realizes all open finite-index subgroups; it is not just this final fixed-field argument.

The Lubin–Tate description of local reciprocity provides an explicit route to that existence problem. Choose a uniformizer $\pi$ and a Lubin–Tate series $f(T)=\pi T+T^Q$, with its associated Lubin–Tate formal group $F$. Solving $f(F(X,Y))=F(f(X),f(Y))$ successively by total degree constructs the law with linear part $X+Y$; the analogous equations construct the endomorphisms $[a]$ with linear coefficient $a$. The congruence $f(T)\equiv T^Q(\mathrm{mod}\pi )$ supplies the divisibility needed at each step. These endomorphisms satisfy $[a][b]=[ab]$ and make the torsion an ${\mathcal{O}}_K$-module.

If $f_r$ denotes the rfold iterate, the primitive level-r Lubin–Tate torsion points are roots ofReduction modulo $\pi$ is $T^{Q^{r-1}(Q-1)}$, and the constant term is $\pi$, so this is an Eisenstein polynomial. Its roots therefore generate a totally ramified extension $K_{\pi ,r}$ of degree $(Q-1)Q^{r-1}$. A primitive point generates the entire torsion module, and all points are its images under the integral convergent endomorphisms $[a]$. The torsion field is therefore a Galois extension of $K$. The action map into $({\mathcal{O}}_K/{\pi }^r{)}^{\times }$ is injective, and the computed degree equals the order of this unit group, proving it is an isomorphism. Passing to the inverse limit gives $\mathrm{Gal}(K_{\pi }/K)\simeq {\mathcal{O}}_K^{\times }$ for the Lubin–Tate tower $K_{\pi }$.

The unramified tower and $K_{\pi }$ are linearly disjoint field extensions: a finite common subextension would be both unramified and totally ramified, hence trivial. The Lubin–Tate description of local reciprocity on their compositum isThe inverse on the unit action goes with the arithmetic Frobenius convention; changing to geometric Frobenius inverts the whole reciprocity map. The reciprocity theorem identifies this explicit action with the finite cup-product maps, independently of the chosen uniformizer. Its proof compares the fundamental class with the norm relations between consecutive torsion fields. The construction makes the possible finite kernels concrete: on the compositum of the degree-d unramified field with $K_{\pi ,r}$ the kernel isThese subgroups are cofinal among open finite-index subgroups. Indeed any such $H$ contains $1+{\pi }^r{\mathcal{O}}_K$ for sufficiently large $r$, and contains ${\pi }^d$ for some positive $d$, since the class of $\pi$ in $K^{\times }/H$ has finite order. Taking the appropriate fixed subgroup in this explicit finite compositum realizes $H$. This proves the open-subgroup part of existence once the norm compatibility of the explicit and cohomological constructions is established. Together with the finite reciprocity maps it also shows that $K^{\mathrm{ab}}=K^{\mathrm{nr}}{K}_{\pi }$.

As a direct check, on a finite unramified extension the construction reduces toThe earlier elementary unit-norm proof shows its kernel is exactly ${\pi }^{d\mathbb{Z}}{\mathcal{O}}_K^{\times }$. At $K={\mathbb{Q}}_p$, the Lubin–Tate cyclotomic example takes $[p](T)=(1+T{)}^p-1$ and $F(X,Y)=X+Y+XY$. Its torsion is $\zeta -1$, so a unit $u$ acts by $\zeta \mapsto {\zeta }^{u^{-1}}$. These examples exhibit both the valuation and unit parts of local reciprocity with consistent signs.

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.

Choose a surjection $P_0=A^{r_0}\twoheadrightarrow M$. Since $A$ is a Noetherian ring, a finite free module is a Noetherian module, and its kernel $K_1$ is a finitely generated module. Choose a finite free surjection $P_1\twoheadrightarrow K_1$ and repeat. This constructs a resolution by finitely generated free moduleswhose terms are, in particular, finitely generated projective modules. It may be infinite; the request is finite generation of every term, not finite length.

Now suppose the nonzero finitely generated module $M$ has finite projective dimension $n$. For $n\ge 1$, its $n$th syzygy $K_n$ in this free resolution is projective. Indeed, dimension shifting along the successive kernel sequences givesfor every module $N$. The vanishing follows by computing the latter Ext functor from any length-$n$ projective resolution. Vanishing of ${\mathrm{Ext}}^1(K_n,-)$ makes every short exact sequence ending in $K_n$ split: apply the long exact sequence of Ext groups to a free surjection onto $K_n$ to lift its identity. Thus $K_n$ is a projective module. It is finitely generated by the preceding construction. Truncating giveswith every term finite projective.

Apply the Hom functor ${\mathrm{Hom}}_A(-,A)$ and write $P_i^{\ast }={\mathrm{Hom}}_A(P_i,A)$. At the top degree,If this group were zero, $d_n^{\ast }$ would be surjective. The dual module of a finite projective module is finite projective, so this surjection has a section $s:P_n^{\ast }\to P_{n-1}^{\ast }$. Finite projective modules identify with their double dual modules: the evaluation map is an isomorphism for a finite free module and passes to its direct summands. Dualizing $d_n^{\ast }s=\mathrm{id}$ therefore gives $s^{\ast }{d}_n={\mathrm{id}}_{P_n}$. Hence $d_n$ splits, and $P_{n-1}/d_n(P_n)$ is projective. Replacing the last two terms by this quotient shortens the projective resolution to length $n-1$, contradicting minimality. This proves top Ext detects finite projective dimension:For $n=0$, $M$ is a nonzero finite projective module and embeds as a summand of $A^r$. Some coordinate projection restricts nontrivially to $M$, proving ${\mathrm{Hom}}_A(M,A)\ne 0$ as required.

For infinite projective dimension, take the dual-number algebra $A=k[\epsilon ]/({\epsilon }^2)$ and $M=k=A/(\epsilon )$. Multiplication by $\epsilon$ has image and kernel both equal to $(\epsilon )$, giving the periodic resolution over dual numbersApplying ${\mathrm{Hom}}_A(-,k)$ makes every differential zero, so ${\mathrm{Ext}}_A^i(k,k)\cong k$ for every $i\ge 0$. A finite projective resolution would force all sufficiently high Ext functors to vanish. Thus ${\mathrm{pd}}_{k[\epsilon ]/({\epsilon }^2)}k=\infty$.

The finite-generation hypothesis is essential if the middle sentence's “a module” is interpreted as an unrestricted new module. A concrete vanishing top Ext without finite generation occurs for $A=k[[t]]$ and $K=A[1/t]=k((t))$. This Noetherian ring has the exact free presentationInjectivity of $d$ follows by examining the largest index of a finitely supported input, since $t$ is a non-zero-divisor. For exactness in the middle, use the relations to move a finite sum to its largest index $N$; its remaining coefficient is ${\sum }_{i=0}^N{a}_i{t}^{N-i}$, which is zero precisely when its image in $K$ is zero. The map onto $K$ is surjective because every Laurent series has a lower bound on its exponents.

Applying ${\mathrm{Hom}}_A(-,A)$ gives on products the map $(b_i)\mapsto (b_i-t{b}_{i+1})$. It is surjective: for any $(c_i)$, set $b_i={\sum }_{j\ge 0}{t}^j{c}_{i+j}$. These are well-defined formal power series, because each coefficient receives only finitely many contributions, and $b_i-t{b}_{i+1}=c_i$. Consequently ${\mathrm{Ext}}_A^1(K,A)=0$. But ${\mathrm{Hom}}_A(K,A)=0$: the image of every $t^{-i}$ must lie in ${\bigcap }_{r\ge 0}{t}^{r}A=0$, since it is divisible by every power of $t$. A nonzero projective module is a summand of a free module and therefore has a nonzero coordinate map to $A$. Thus $K$ is not projective, while its displayed resolution has length one. In particular,The nonvanishing conclusion proved above retains the finitely generated $M$ introduced at the start of the question.

For a left $\mathbb{Z}G$-module, group cohomology iswith $\mathbb{Z}$ the trivial module. Equivalently take a projective resolution $P_{\bullet }\to \mathbb{Z}$ and the cohomology of ${\mathrm{Hom}}_{\mathbb{Z}G}(P_{\bullet },M)$. This also describes the right-derived functors of the invariant-module functor $M\mapsto M^G$.

For an explicit model, the homogeneous bar free resolution has $P_n=\mathbb{Z}[G^{n+1}]$, with diagonal $G$-action and boundary the alternating sum of coordinate deletions. It is free over $\mathbb{Z}G$: each orbit has a unique representative with first coordinate $1$. The augmented complex is exact because inserting $1$ as a first coordinate supplies a contracting homotopy of underlying abelian groups; its lack of $G$-equivariance does not affect exactness. The associated inhomogeneous group cochains are functions $f:G^n\to M$, withFor group cochains of degree zero, $(dm)(g)=gm-m$. Adjacent deletions cancel in pairs, giving $d^2=0$ and hence $H^n=\ker d/\mathrm{im}d$.

In degree zero this givesIt is also ${\mathrm{Hom}}_{\mathbb{Z}G}(\mathbb{Z},M)$, since a map is determined by the invariant image of $1$.

In degree one the cocycle condition is $f(gh)=f(g)+gf(h)$, soThese are crossed homomorphisms modulo principal crossed homomorphisms. For trivial action they reduce to ordinary group homomorphisms, so $H^1(G,M)=\mathrm{Hom}(G_{\mathrm{ab}},M)$.

There are two further useful descriptions. If $I=\ker (\mathbb{Z}G\to \mathbb{Z})$ is the augmentation ideal, a crossed homomorphism gives an equivariant map $I\to M$ by $g-1\mapsto f(g)$, because $gh-1=(g-1)+g(h-1)$. Applying $\mathrm{Hom}(-,M)$ to $0\to I\to \mathbb{Z}G\to \mathbb{Z}\to 0$ therefore givesAlso a section of $M⋊G\to G$ has the form $g\mapsto (f(g),g)$ and is a group homomorphism exactly when $f$ is a crossed homomorphism. Conjugation of sections by an element of $M$ changes $f$ by a principal crossed homomorphism. Thus $H^1$ classifies the $M$-conjugacy classes of such sections, or equivalently of complements to $M$ in the semidirect product.

In degree two, a normalized two-cocycle $c:G\times G\to M$ satisfiesDefine multiplication on $M\times G$ byThe displayed cocycle identity is precisely associativity; normalization gives the identity and inverses exist. This produces a group extension $1\to M\to E_c\to G\to 1$ with the prescribed action on $M$.

Conversely a set-theoretic section $s:G\to E$, $s(1)=1$, gives $c(g,h)=s(g)s(h)s(gh{)}^{-1}$ in the additive kernel of a group homomorphism. Associativity gives the cocycle condition. Replacing $s(g)$ by $b(g)s(g)$ changes $c$ byThe resulting extensions are equivalent through a change of coordinates in $M\times G$. Conversely any extension equivalence preserving both kernel of a group homomorphism and quotient yields such a change of section. HenceThe zero class corresponds exactly to a split extension. With trivial action these are central group extensions; addition of classes corresponds to the Baer sum. This proves the second group cohomology classifies group extensions interpretation.

For $G={\mathbb{Z}}^2$ and trivial coefficients $\mathbb{Z}$, put $R=\mathbb{Z}[x^{\pm 1},y^{\pm 1}]$. The Koszul resolution for a rank-two free abelian group iswhere $d_1(a,b)=(x-1)a+(y-1)b$ and $d_2(c)=(-(y-1)c,(x-1)c)$. To check exactness at $R^2$, reduce $d_1(a,b)=0$ modulo $x-1$. Since $y-1$ is not a zero divisor in $\mathbb{Z}[y^{\pm 1}]$, write $b=(x-1)c$, and cancellation gives $a=-(y-1)c$. Injectivity of $d_2$ follows because $R$ is a domain. The augmentation kernel is generated by $x-1,y-1$, proving the other exactness statement.

Applying ${\mathrm{Hom}}_R(-,\mathbb{Z})$ makes both differentials zero, since $x,y$ act trivially. ThusDegree-one classes assign arbitrary integers to the two generators. Geometrically these are also the cohomology groups of the torus, a classifying space for ${\mathbb{Z}}^2$; its cohomology ring is the exterior algebra on the two degree-one classes.

The integer $n$ in degree two has an explicit extension representative. On triples $(a,b,m)\in {\mathbb{Z}}^3$, setThe bilinear term is a two-cocycle. With generators $x=(1,0,0)$, $y=(0,1,0)$ and central $z=(0,0,1)$,Every central extension of ${\mathbb{Z}}^2$ by $\mathbb{Z}$ has this form: choose lifts of the two generators and the fixed generator of the kernel of a group homomorphism, then their group commutator determines $n$ and every element has a unique form $z^m{y}^b{x}^a$. Changing the lifts by central elements leaves that commutator unchanged. Thus distinct integers give inequivalent extensions, and the cocycles $nad$ add with $n$. The case $n=0$ is ${\mathbb{Z}}^3$; $n=1$ is the integer Heisenberg group. This realizes the integral central extensions of a rank-two free abelian group concretely.

Write $R^{i}F$ for the cohomological indexing of the right derived functor. For the contravariant construction, assume $F$ is additive and left exact, so an exact sequence $M^{\prime }\to M\to M^{\prime \prime }\to 0$ gives $0\to F(M^{\prime \prime })\to F(M)\to F(M^{\prime })$. Module categories have enough projective modules: a free module on a generating set surjects onto any module, and repeating the construction on its kernel produces a projective resolutionContravariance turns it into the cochain complexThe composite of consecutive differentials is zero because $F$ is additive and reverses composition. Applying left exactness to $P_1\to P_0\to M\to 0$ gives $F(M)=\ker (F(d_1))$, so $R^{0}F\simeq F$.

Here are the comparison and exactness arguments behind this construction. A map $M\to N$ lifts to a chain map between projective resolutions. In degree zero, lift through the surjection $Q_0\twoheadrightarrow N$ by projectivity of $P_0$. Inductively, the required composite from $P_i$ lands in the cycle module of the target resolution, which is the image of $Q_i$ by exactness, so projectivity supplies the next lift. Two such lifts are chain homotopic. Their difference in degree zero lands in $\ker (Q_0\to N)=\mathrm{im}{d}_1$, so it lifts to a homotopy map $P_0\to Q_1$. Subtracting the corresponding homotopy term in degree one gives another map into the next cycle module; continue inductively. Applying additive contravariant $F$ turns this chain homotopy into a cochain homotopy, so the maps on cohomology agree. Applying this to lifts of identity maps between two resolutions gives mutually inverse maps on cohomology. Thus the contravariant right derived functor is well-defined, contravariant and natural in $M$.

For $0\to M^{\prime }\to M\to M^{\prime \prime }\to 0$, construct compatible projective resolutions by the horseshoe lemma. Its construction is elementary: lift the projective cover of $M^{\prime \prime }$ into $M$ and add the projective cover of $M^{\prime }$; their sum surjects onto $M$. The kernels fit into a new short exact sequence of the corresponding kernels, so repeat at each degree. This gives a degreewise split sequenceAn additive contravariant functor takes split sequences to split sequences with their arrows reversed. The resulting short exact sequence of cochain complexes givesThe connecting map is obtained by lifting a cocycle from the quotient complex, taking its differential, and viewing the result in the subcomplex; changing a lift changes the result by a coboundary. This construction proves both exactness and naturality of the long exact sequence.

Positive derived functors vanish on projective modules, since such a module has a resolution concentrated in degree zero. For $0\to K\to P\to M\to 0$ with $P$ projective, the preceding sequence gives $R^{i+1}F(M)\simeq R^{i}F(K)$ for $i\ge 1$. This is dimension shifting. If $F$ is exact, all positive derived functors vanish because applying $F$ preserves exactness of the resolution. A natural transformation of additive left-exact contravariant functors induces natural transformations of their derived functors by applying it degreewise. These derived functors form the universal contravariant cohomological delta functor: successive projective surjections, on which the positive functors vanish, and the connecting maps determine any extension of a degree-zero natural transformation uniquely.

The displayed example in the PDF has a genuine variance mismatch. The functor $G(M)={\mathrm{Hom}}_A(A/(a),M)$ is covariant in $M$, not contravariant. For a map $u:M\to N$, its induced map sends $h$ to $u\circ h$, in the same direction. We compute that displayed example with its correct variance, and then explain the contravariant variant.

For an additive covariant left-exact functor, use an injective resolution $0\to M\to I^0\to I^1\to \cdots$ instead of a projective resolution, and set $R^{i}G(M)=H^i(G(I^{\bullet }))$. Such resolutions exist for arbitrary modules. In fact $J={\mathrm{Hom}}_{\mathbb{Z}}(A,D)$, with $(a\varphi )(b)=\varphi (ab)$, is injective: the adjunctionsends a map to its value at $1$, and has inverse $\lambda \mapsto [n\mapsto (b\mapsto \lambda (bn))]$. Extension on the right was proved in Question 5, so it gives extension on the left. Products of injective modules are injective by extending every component separately. The mapis $A$-linear and injective, because a nonzero $m$ is detected by some character at $b=1$. Applying the same embedding to successive cokernels produces the stated injective resolution. Its comparison and homotopy arguments are dual to the projective ones, and covariant derived functors have the long exact sequence in the original order of $M^{\prime },M,M^{\prime \prime }$.

Let $B=A/(a)$. Evaluation at $1+(a)$ identifiesa naturally defined $B$-module. It is left exact: a compatible element in the kernel of $G(M)\to G(M^{\prime \prime })$ is exactly an element of $M^{\prime }$ killed by $a$.

Because $a$ is a non-zero-divisor on $A$, multiplication by $a$ is surjective on every injective module $I$. Indeed, for $m\in I$, the map $aA\to I$ given by $ax\mapsto xm$ is well-defined and $A$-linear. It extends to $A\to I$, and if the extension takes $1$ to $v$, then $av=m$. Thus for an injective resolution we have a short exact sequence of cochain complexesThe cohomology of $I^{\bullet }$ is $M$ in degree zero and zero in higher degrees. Its long exact sequence therefore givesConsequently the Ext from a principal non-zero-divisor quotient computation isAll these groups are naturally $B$-modules. Equivalently they are ${\mathrm{Ext}}_A^i(B,M)$; the two-term free resolution $0\to A\stackrel{a}{\to }A\to B\to 0$ gives the same kernel and cokernel after applying ${\mathrm{Hom}}_A(-,M)$.

If one instead wants a genuinely contravariant example, take $H(N)={\mathrm{Hom}}_A(N,B)$. Then $R^{i}H(N)={\mathrm{Ext}}_A^i(N,B)$, obtained by resolving the variable $N$. There is no claim of vanishing above degree one for arbitrary $N$. At $N=B$, the same two-term resolution has zero differential after applying ${\mathrm{Hom}}_A(-,B)$, and gives ${\mathrm{Ext}}_A^0(B,B)=B$, ${\mathrm{Ext}}_A^1(B,B)=B$, and zero higher groups. This keeps the printed covariant calculation distinct from the general contravariant construction.

Set $S=R\setminus P$, a multiplicative subset. The localization at a prime ideal is $R_P=S^{-1}R$, whose elements are fractions $r/s$. Equality of two fractions means that $u(r{s}^{\prime }-r^{\prime }s)=0$ for some $u\in S$. Likewise the localization of a module is $M_P=S^{-1}M$, withAddition uses a common denominator, and the module action isThe equivalence relations make these operations well-defined, so $M_P$ is an $R_P$-module.

If $M\ne 0$, choose $0\ne m\in M$. Its annihilator is proper, so it lies in a maximal ideal $P$. The element $m/1$ cannot vanish in $M_P$: vanishing would mean $sm=0$ for some $s\notin P$, contrary to ${\mathrm{Ann}}_R(m)\subseteq P$. The converse is immediate by localizing the zero module. ThusThis proof of localization detects zero elements actually applies to arbitrary modules, without finite-generation or Noetherian assumptions. We will use that extra generality for an Ext functor module below.

An injective module $E$ has the extension property: for each inclusion $A\hookrightarrow B$, every map $A\to E$ extends to a map $B\to E$. Equivalently, ${\mathrm{Hom}}_R(-,E)$ is exact. A projective module $Q$ has the lifting property: for each surjection $B\twoheadrightarrow C$, every map $Q\to C$ lifts to $Q\to B$. Equivalently, ${\mathrm{Hom}}_R(Q,-)$ is exact, or $Q$ is a direct summand of a free module.

For the local criterion for injectivity over a Noetherian ring, recall the Baer criterion: $E$ is injective precisely when every map from an ideal $J\subseteq R$ into $E$ extends to $R$. Through the short exact sequence $0\to J\to R\to R/J\to 0$, this is equivalent toWe also need localization of Ext over a Noetherian ring. Because $R$ is Noetherian, the module $R/J$ has a free resolution with every term finitely generated: all successive kernels are finitely generated, so this can be built recursively. For a finite free term $F$, the natural mapis an isomorphism, as is clear from a finite basis. Exactness of localization lets us pass to cohomology of the Hom complex. ThereforeThis explains the finiteness hypothesis needed for the localization argument, rather than assuming that localization preserves injectivity automatically.

If $M$ is injective, the left-hand side vanishes for every $J$ and $P$. Every ideal $L$ of $R_P$ is $J{R}_P$, where $J$ is its contraction to $R$: if $r/s\in L$, then $r/1=s(r/s)\in L$, and conversely localization of a member of the contraction stays in $L$. Hence all ideal tests for $M_P$ vanish, and the Baer criterion over $R_P$ makes $M_P$ injective.

Conversely, suppose every $M_P$ is injective. For each ideal $J$, the displayed Ext functor localization is zero at every prime. The zero-detection argument above gives ${\mathrm{Ext}}_R^1(R/J,M)=0$, without needing this Ext module to be finitely generated. Applying the Baer criterion over $R$ provesIn fact, under the Noetherian ring hypothesis this equivalence holds for arbitrary $M$; the printed finite-generation assumption is more than is needed.

The global dimension iswhere projective dimension is the smallest length of a projective resolution, or infinity if there is no finite one. If $\mathrm{gldim}R=0$, every module is projective. Given an inclusion $A\hookrightarrow B$, the quotient $B/A$ is then projective, so the exact sequence $0\to A\to B\to B/A\to 0$ splits. A retraction $\rho :B\to A$ exists. For any module $E$ and any map $f:A\to E$, the composition $f\rho :B\to E$ extends $f$. Thus every module is also injective. Global dimension zero makes all modules both projective and injective, as recorded by global dimension zero and split exact sequences.