summaryrefslogtreecommitdiffstats
path: root/chapitres/AVD-Dedekind.tex
diff options
context:
space:
mode:
authorFabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com>2012-03-22 17:00:25 (GMT)
committerFabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com>2012-03-22 17:00:25 (GMT)
commitc6ff9cde103f47afcb912be9eb99ecb9953c5544 (patch)
treec60ccc8ff4157c4d3a0b6e294bac472bfc7afc8c /chapitres/AVD-Dedekind.tex
parenta537c651248bba66c02f5dee2bf7aff28a7c2e3e (diff)
downloadgalois-c6ff9cde103f47afcb912be9eb99ecb9953c5544.zip
galois-c6ff9cde103f47afcb912be9eb99ecb9953c5544.tar.gz
galois-c6ff9cde103f47afcb912be9eb99ecb9953c5544.tar.bz2
[AVD-D] precisions sur Krull-Akiduki
C'est la forme utilisee dans [LG] Merci emacs (pas d'accent, pas de japonais :()
Diffstat (limited to 'chapitres/AVD-Dedekind.tex')
-rw-r--r--chapitres/AVD-Dedekind.tex6
1 files changed, 4 insertions, 2 deletions
diff --git a/chapitres/AVD-Dedekind.tex b/chapitres/AVD-Dedekind.tex
index 70df042..1601126 100644
--- a/chapitres/AVD-Dedekind.tex
+++ b/chapitres/AVD-Dedekind.tex
@@ -993,8 +993,10 @@ pour $đť”­\notin S_{\got{a}}$ (resp. $đť”­\notin S_{\got{a}'}$).
\label{Krull-Akizuki}
Soit $A$ un anneau nœthérien intègre de dimension un
et de corps des fractions $K$. Pour toute extension finie
-$L\bo K$, le normalisé $B$ de $A$ dans $L$ est un anneau
-de Dedekind.
+$L\bo K$, tout sous-anneau $B$ de $L$ contenant $A$
+est nœthérien, de dimension $1$.
+En particulier, la normalisation de $A$ dans $L$
+est un anneau de Dedekind.
\end{théorème2}
\begin{démo}[première démonstration]