summaryrefslogtreecommitdiffstats
path: root/chapitres
diff options
context:
space:
mode:
authorFabrice (Darwin) <Fabrice.Orgogozo@gmail.com>2011-02-21 22:12:41 +0100
committerFabrice Orgogozo <Fabrice.Orgogozo@gmail.com>2011-02-21 22:12:41 +0100
commit45eeb19a8afaf193a5de01731066374a079871c6 (patch)
treec1e2eb5e18ef7ce364dfd11fd8d5d4960955fd49 /chapitres
parent72ab40ce80b6b0a13a36125191c81b764cac1f90 (diff)
downloadgalois-45eeb19a8afaf193a5de01731066374a079871c6.tar.gz
galois-45eeb19a8afaf193a5de01731066374a079871c6.tar.bz2
galois-45eeb19a8afaf193a5de01731066374a079871c6.zip
[AC, plan, livre] mise au propre mineure
Diffstat (limited to 'chapitres')
-rw-r--r--chapitres/AC.tex12
1 files changed, 3 insertions, 9 deletions
diff --git a/chapitres/AC.tex b/chapitres/AC.tex
index 5c2a6b6..815480d 100644
--- a/chapitres/AC.tex
+++ b/chapitres/AC.tex
@@ -593,9 +593,6 @@ $b₁/1,\dots,b_n/1$ de $B[S^{-1}]$
sont générateurs sur $A[S^{-1}]$.
\end{démo}
-
-\begin{facultatif}
-
\subsection{Intégrité et changement de base}
Les résultats de cette section ne seront pas utilisé dans la
@@ -670,9 +667,6 @@ B₂$ sont entiers ; d'après \ref{entier-sur-entier} le composé $A₁⊗_k A
B₂$ l'est aussi.
\end{démo}
-\end{facultatif}
-
-
\subsection{Clôture intégrale, anneaux normaux}
\begin{définition2}\label{normalisation,normal}
@@ -1067,10 +1061,10 @@ Il résulte du lemme ci-dessous que $g$ induit l'automorphisme $σ$ sur
$l$ tout entier.
\end{démo}
-\begin{lemme3}
+\begin{lemme2}
Deux automorphismes d'une extension algébrique coïncident
\ssi ils agissent de la même manière sur les éléments séparables.
-\end{lemme3}
+\end{lemme2}
Ce lemme est un cas particulier de \refext{RT}{}.
@@ -1115,7 +1109,7 @@ une bijection.
Dimension d'un anneau.
\end{définition2}
-Rappel Cohen-Seidenberg.
+Corollaires Cohen-Seidenberg.
\subsection{Lemme de normalisation}