summaryrefslogtreecommitdiffstats
path: root/chapitres/RT.tex
diff options
context:
space:
mode:
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.