Cote n° 125 · pages 5–5
· 2 diagrammes commutatifs · Dualité projective : notes manuscrites (s.d.).
Datation de l’inventaire : [avant 1970]
Édition de démonstration
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
\mathrm{Ext}^{i}(X, F, G) \arrow[r] \arrow[d, no head, "\times" description]
& \mathrm{Ext}^{i}(X', F', G') \arrow[r] \arrow[d, no head, "\times" description]
& \mathrm{Ext}^{i+1}(X, F, G) \arrow[d, no head, "\times" description] \\
\mathrm{Ext}^{r-i}_{a}(X, G, F)
& \mathrm{Ext}^{r-i}(X', G', F') \arrow[l]
& \mathrm{Ext}^{r-1-i}(X, G, F) \arrow[l]
\end{tikzcd}LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
\mathrm{Ext}^{i}_{a}(X, F, G) \arrow[r]
& \mathrm{Ext}^{i}_{Y}(X; F, G) \arrow[r] \arrow[d, no head, "\otimes" description]
& \mathrm{Ext}^{i}_{Y'}(X'; F', G') \arrow[d, no head, "\otimes" description] \\
\mathrm{Ext}^{r-i}(\hat{X}, \hat{G}, \hat{F})
& \mathrm{Ext}^{r-i}_{a}(\hat{X}, \hat{G}, \hat{F}) \arrow[l]
& \mathrm{Ext}^{r-1-i}(\hat{X}', \hat{G}', \hat{F}') \arrow[l]
\end{tikzcd}