summaryrefslogtreecommitdiffstats
path: root/chapitres/RT.tex
diff options
context:
space:
mode:
authorFabrice (Darwin) <Fabrice.Orgogozo@gmail.com>2011-02-21 20:08:52 (GMT)
committerFabrice Orgogozo <Fabrice.Orgogozo@gmail.com>2011-02-21 20:08:52 (GMT)
commit6d2d887b494435332fd419f535198e36690b2d63 (patch)
tree396807c207d83fe020ce378b16720dc4e0655bda /chapitres/RT.tex
parent68747ee145aa8b04246e3598f4ff89dceb3a327e (diff)
downloadgalois-6d2d887b494435332fd419f535198e36690b2d63.zip
galois-6d2d887b494435332fd419f535198e36690b2d63.tar.gz
galois-6d2d887b494435332fd419f535198e36690b2d63.tar.bz2
[AC, RT, Azu, CG, Alg] mise au propre partielle suite au gros copié-collé
Diffstat (limited to 'chapitres/RT.tex')
-rw-r--r--chapitres/RT.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/chapitres/RT.tex b/chapitres/RT.tex
index 685810e..37ef526 100644
--- a/chapitres/RT.tex
+++ b/chapitres/RT.tex
@@ -109,7 +109,7 @@ déduit des inclusions $k$-linéaires $K_i→{K_i}_A$ est un
(i) Pour toute partie finie $J⊆I$, l'anneau $B_J$ est plat sur $A_J$ :
cela résulte de \ref{produit-tensoriel-plats}. Comme une colimite de morphismes plats
est plat, cf. \ref{colimite de plats}, on a le résultat souhaité. Le fait que
-$A→B$ soit entier se démontre de même en utilisant \refext{Ent}{produit-tensoriel-d-entiers}
+$A→B$ soit entier se démontre de même en utilisant \refext{AC}{produit-tensoriel-d-entiers}
et la proposition \ref{union-entiers=entier} ci-dessous.
(ii) Cela résulte de \ref{chapitre produit tensoriel}.
@@ -126,7 +126,7 @@ morphisme $f=\colim_{i∈I} f_i:\colim_{i∈I} A_i→ \colim_{i∈I} B_i$ qui s'
entier.
\end{proposition}
-Observons que ce résultat généralise \refext{Ent}{pdt-tens-entiers}.
+Observons que ce résultat généralise \refext{AC}{pdt-tens-entiers}.
\XXX La démonstration ci-dessous est moche.