summaryrefslogtreecommitdiffstats
path: root/chapitres/extensions-algebriques.tex
diff options
context:
space:
mode:
Diffstat (limited to 'chapitres/extensions-algebriques.tex')
-rw-r--r--chapitres/extensions-algebriques.tex11
1 files changed, 6 insertions, 5 deletions
diff --git a/chapitres/extensions-algebriques.tex b/chapitres/extensions-algebriques.tex
index 0571b6e..00e4eeb 100644
--- a/chapitres/extensions-algebriques.tex
+++ b/chapitres/extensions-algebriques.tex
@@ -557,7 +557,7 @@ On rappelle que, dans ce chapitre, on note $k$ un corps.
\subsection{Premières définitions et propriétés}
Les résultats de cette section sont pour une grande part des cas
-particuliers de résultats de \refext{Ent}{}. Pour la commodité
+particuliers de résultats de \refext{AC}{}. Pour la commodité
du lecteur, nous présentons une partie des résultats de
\emph{loc. cit.} dans le cadre moins général de ce chapitre.
@@ -579,7 +579,7 @@ algébrique sur $k$. Une $k$-algèbre $A$ est dite \emph{entière}
si tout élément de $A$ est entier sur $k$.
\end{définitionrestreinte2}
-(Comparer avec \refext{Ent}{element-entier}.)
+(Comparer avec \refext{AC}{element-entier}.)
\begin{proposition2}\label{polynome-minimal}
\begin{enumerate}
@@ -727,7 +727,7 @@ est entière.
\end{proposition2}
Ce résultat est un cas particulier de
-\refext{Ent}{cb-entier}. Nous nous contentons
+\refext{AC}{cb-entier}. Nous nous contentons
donc ici d'une simple
\begin{démo}[Esquisse de démonstration]
@@ -740,7 +740,7 @@ donc entiers sur $k$, sont — \emph{a fortiori} — entiers sur $K$.
Les calculs ci-dessus montrent en toute généralité
que la somme et le produit de deux éléments
entiers d'une algèbre sur un corps sont également
-entiers. (Pour les détails, cf. \refext{Ent}{entiers=sous-algebre},
+entiers. (Pour les détails, cf. \refext{AC}{entiers=sous-algebre},
première démonstration).
\end{démo}
@@ -875,7 +875,8 @@ il en est de même de chaque $u(λ)$ sur $k$ et, \emph{a fortiori},
des $u(λ)$ sur $u ′(K ′)$. D'après, \ref{entiers sur corps=sous-corps},
l'ensemble des éléments de $E$ algébriques sur $K ′$ est un sous-corps. Comme il
contient les $u(λ)$, c'est $E$ tout entier.
-Ce lemme est également un corollaire de \ref{entier sur corps stable par cb} et \refext{Ent}{cb-entier}.
+Ce lemme est également un corollaire de \ref{entier sur
+corps stable par cb} et \refext{AC}{cb-entier}.
\end{démo}