Lemma 46.8.9 (0706)—The Stacks project

Loading web-font TeX/Math/Italic

$\text{Pext}^ i_ A(M, N) = 0$ for $i > 0$ whenever $N$ is pure injective,
$\text{Pext}^ i_ A(M, N) = 0$ for $i > 0$ whenever $M$ is pure projective, in particular if $M$ is an $A$ -module of finite presentation,
$\text{Pext}^ i_ A(M, N)$ is also the $i$ th cohomology module of the complex $\mathop{\mathrm{Hom}}\nolimits _ A(P_\bullet , N)$ where $P_\bullet$ is a pure projective resolution of $M$ .

Proof. To see (3) consider the double complex

$A^{\bullet , \bullet } = \mathop{\mathrm{Hom}}\nolimits _ A(P_\bullet , I^\bullet )$

Each of its rows is exact except in degree $0$ where its cohomology is $\mathop{\mathrm{Hom}}\nolimits _ A(M, I^ q)$ . Each of its columns is exact except in degree $0$ where its cohomology is $\mathop{\mathrm{Hom}}\nolimits _ A(P_ p, N)$ . Hence the two spectral sequences associated to this complex in Homology, Section 12.25 degenerate, giving the equality. $\square$

Comments (0)

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment