[descente] autre lemme (facile)

1 files changed, 11 insertions, 0 deletions

diff --git a/chapitres/descente.tex b/chapitres/descente.tex
index b0472bd..86d44cd 100644
--- a/chapitres/descente.tex
+++ b/chapitres/descente.tex
@@ -50,6 +50,17 @@ que $m=∑_{i=1}^n f_i(m)m_i$ pour chaque $m ∈ M$.
 \XXX
 \end{démo}
 
+\begin{proposition2}\label{Hom=produit tensoriel si projectif}
+Soit $A$·un anneau et $M$ un $A$-module·$M$ projectif
+de type fini. Pour chaque $A$-module $N$,
+le morphisme $M^∨ ⊗_A N → \Hom_A(M,N)$, $f ⊗ n ↦ (m ↦
+f(m)n)$ est un isomorphisme.
+\end{proposition2}
+
+\begin{démo}
+\XXX
+\end{démo}
+
 \section{Descente radicielle}
 
 \begin{proposition2}\label{dérivations Mn sont intérieures}