summaryrefslogtreecommitdiffstats
path: root/chapitres/locaux-globaux.tex
diff options
context:
space:
mode:
authorFabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com>2012-07-12 08:51:50 (GMT)
committerFabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com>2012-07-12 08:51:50 (GMT)
commit954e78948a5dba92d2b575ec73fcac9f46edae8b (patch)
treeb8920ebdee45ad191e76c52679c2c2372283ce63 /chapitres/locaux-globaux.tex
parent8e5a8ac7d6609e9d66bab11b19c76f77dde53d5b (diff)
downloadgalois-954e78948a5dba92d2b575ec73fcac9f46edae8b.zip
galois-954e78948a5dba92d2b575ec73fcac9f46edae8b.tar.gz
galois-954e78948a5dba92d2b575ec73fcac9f46edae8b.tar.bz2
[AVD-D, LG] 日本式ローマ字
Le nom étant あきづき (et pas son homophone あきずき)
Diffstat (limited to 'chapitres/locaux-globaux.tex')
-rw-r--r--chapitres/locaux-globaux.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/chapitres/locaux-globaux.tex b/chapitres/locaux-globaux.tex
index c0cfda6..5458e2f 100644
--- a/chapitres/locaux-globaux.tex
+++ b/chapitres/locaux-globaux.tex
@@ -3763,7 +3763,7 @@ Ainsi, posant $K₀=𝐅_p(f)$, l'image $U₀$ de $U$ dans $Σ(K₀)$
n'est autre que $Σ(K₀)-\{∞₀\}$ et l'anneau $𝒪_K(U)$ est le normalisé dans $K$ de
$𝒪_{K₀}(U₀)=𝐅_p[f]$, ce dernier anneau étant de type fini sur $k$.
Il résulte du théorème \refext{AC}{k-algèbre-tf-est-japonaise}
-(resp. du théorème de Krull-\jap{秋月}, \refext{AVD-D}{Krull-Akizuki})
+(resp. du théorème de Krull-Akiduki, \refext{AVD-D}{Krull-Akiduki})
que l'anneau $𝒪_K(U)$ est de type fini sur $k$
(resp. nœthérien, de dimension $1$).
On sait de plus qu'il est normal (cf. \ref{}) ; c'est donc un anneau de Dedekind.