Cote n° 94 · pages 14–23
· 2 diagrammes commutatifs · Dualité des modules / Construction de faisceaux de modules : notes manuscrites (s.d.).
Datation de l’inventaire : [à partir de 1965]
Édition de démonstration
LaTeX source
\begin{tikzcd}[column sep=small, nodes={font=\small}]
\varinjlim_i \mathrm{Hom}(P_i, \Omega) \otimes A_{\mathfrak{p}}/\underline{f} A_{\mathfrak{p}} \arrow[r, "\sim"] & \varinjlim_i \mathrm{Hom}(P_i, \Omega/\underline{f}\Omega_{\mathfrak{p}}) \\
\mathrm{Hom}(P_{i_0}, \Omega) \otimes A_{\mathfrak{p}}/\underline{f} A_{\mathfrak{p}} \arrow[r] \arrow[u] & \mathrm{Hom}(P_{i_0}, \Omega_{\mathfrak{p}}/\underline{f}\Omega_{\mathfrak{p}}) \arrow[u, "\alpha"]
\end{tikzcd}LaTeX source
\begin{tikzcd}
Z \arrow[r, hook] \arrow[d] & Z' \arrow[dl] \\
X \arrow[ur, bend right=40] \arrow[d, no head] & \\
S &
\end{tikzcd}