summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice (Polytechnique) <Fabrice.Orgogozo@gmail.com>2011-12-15 15:55:16 +0100
committerFabrice (Polytechnique) <Fabrice.Orgogozo@gmail.com>2011-12-15 15:55:16 +0100
commit03114e2c436c89b9e7251b4232c287d2d284d786 (patch)
tree8cf15967a945908797adc51d32f47409aaa69269
parentbbdabbe64d72a32a780a94236a538d65a81dcc04 (diff)
downloadgalois-03114e2c436c89b9e7251b4232c287d2d284d786.zip
galois-03114e2c436c89b9e7251b4232c287d2d284d786.tar.gz
galois-03114e2c436c89b9e7251b4232c287d2d284d786.tar.bz2
[Tens] coquille
-rw-r--r--chapitres/produit-tensoriel.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/chapitres/produit-tensoriel.tex b/chapitres/produit-tensoriel.tex
index 2191031..3abab0c 100644
--- a/chapitres/produit-tensoriel.tex
+++ b/chapitres/produit-tensoriel.tex
@@ -917,7 +917,7 @@ proposition \ref{produit-tensoriel-applications-surjectives} appliquée
aux applications $g$ et $\Id_N$ prouve précisément que $g \otimes N$
est surjectif et que son noyau est engendré (en tant que groupe
abélien) par les $x \otimes y$ avec $g(x) = 0$ ou $y=0$ : ceux avec
-$y=0$ sont nuls, et les premiers s'évrivent bien de la forme $f(x')
+$y=0$ sont nuls, et les premiers s'écrivent bien de la forme $f(x')
\otimes y$ où on a choisi $x'$ tel que $x = f(x')$.
\end{proof}