diff options
author | Fabrice (iLiburu) <Fabrice.Orgogozo@gmail.com> | 2011-01-05 22:56:20 +0100 |
---|---|---|
committer | Fabrice (iLiburu) <Fabrice.Orgogozo@gmail.com> | 2011-01-05 22:56:20 +0100 |
commit | 7fa9dc72bcf6cc34780ba3538edab4a3dbf6065a (patch) | |
tree | 77fec1fb58efbaa36f4ac4c375254a286da3e25e /chapitres/descente.tex | |
parent | 9c423f02a0401bc7a813858efd3eba5365470c1a (diff) | |
download | galois-7fa9dc72bcf6cc34780ba3538edab4a3dbf6065a.tar.gz galois-7fa9dc72bcf6cc34780ba3538edab4a3dbf6065a.tar.bz2 galois-7fa9dc72bcf6cc34780ba3538edab4a3dbf6065a.zip |
[descente] autre lemme (facile)
Diffstat (limited to 'chapitres/descente.tex')
-rw-r--r-- | chapitres/descente.tex | 11 |
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} |