Lemma 13.27.6 (06XV)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 13: Derived Categories
Section 13.27: Ext groups
Lemma 13.27.6 (cite)

previous lemma
next lemma

numberstags

history
statistics
1 tag refers to this tag

Lemma 13.27.6. Let $\mathcal{A}$ be an abelian category. Let $A$ , $B$ be objects of $\mathcal{A}$ . Then $\mathop{\mathrm{Ext}}\nolimits ^1_\mathcal {A}(B, A)$ is the group $\mathop{\mathrm{Ext}}\nolimits _\mathcal {A}(B, A)$ constructed in Homology, Definition 12.6.2.

Proof. This is the case $i = 1$ of Lemma 13.27.5. $\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