summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice (iLiburu) <Fabrice.Orgogozo@gmail.com>2011-01-05 21:56:20 (GMT)
committerFabrice (iLiburu) <Fabrice.Orgogozo@gmail.com>2011-01-05 21:56:20 (GMT)
commit7fa9dc72bcf6cc34780ba3538edab4a3dbf6065a (patch)
tree77fec1fb58efbaa36f4ac4c375254a286da3e25e
parent9c423f02a0401bc7a813858efd3eba5365470c1a (diff)
downloadgalois-7fa9dc72bcf6cc34780ba3538edab4a3dbf6065a.zip
galois-7fa9dc72bcf6cc34780ba3538edab4a3dbf6065a.tar.gz
galois-7fa9dc72bcf6cc34780ba3538edab4a3dbf6065a.tar.bz2
[descente] autre lemme (facile)
-rw-r--r--chapitres/descente.tex11
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}