summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com>2012-06-22 12:01:15 +0200
committerFabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com>2012-06-22 12:01:15 +0200
commit47952683ac49b0769a949ea3ad289a81f27db678 (patch)
tree76bd735335fef60b4186719df067672ed38b41b7
parent6f6574fe62a3ee6773f4e91fb4e6d92ca395162e (diff)
downloadgalois-47952683ac49b0769a949ea3ad289a81f27db678.zip
galois-47952683ac49b0769a949ea3ad289a81f27db678.tar.gz
galois-47952683ac49b0769a949ea3ad289a81f27db678.tar.bz2
[AC] ajout énoncé
-rw-r--r--chapitres/AC.tex8
1 files changed, 8 insertions, 0 deletions
diff --git a/chapitres/AC.tex b/chapitres/AC.tex
index 4e7a04e..8695848 100644
--- a/chapitres/AC.tex
+++ b/chapitres/AC.tex
@@ -728,6 +728,14 @@ reste irréductible dans $B[X]$.
\XXX
+\begin{proposition2}
+\label{clôture intégrale commute à localisation}
+Clôture intégrale commute à la localisation.
+En particulier, si $A$ intègre de corps des fractions $K$,
+$L\bo K$ extension alors la clôture intégrale de $A$
+dans $L$ est de corps des fractions $L$.
+\end{proposition2}
+
\subsection{Normalisation dans une extension séparable}
\label{normalisation dans extension séparable}