diff options
| author | Fabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com> | 2012-07-12 10:51:50 +0200 |
|---|---|---|
| committer | Fabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com> | 2012-07-12 10:51:50 +0200 |
| commit | 954e78948a5dba92d2b575ec73fcac9f46edae8b (patch) | |
| tree | b8920ebdee45ad191e76c52679c2c2372283ce63 /chapitres/locaux-globaux.tex | |
| parent | 8e5a8ac7d6609e9d66bab11b19c76f77dde53d5b (diff) | |
| download | galois-954e78948a5dba92d2b575ec73fcac9f46edae8b.tar.gz galois-954e78948a5dba92d2b575ec73fcac9f46edae8b.tar.bz2 galois-954e78948a5dba92d2b575ec73fcac9f46edae8b.zip | |
[AVD-D, LG] 日本式ローマ字
Le nom étant あきづき (et pas son homophone あきずき)
Diffstat (limited to 'chapitres/locaux-globaux.tex')
| -rw-r--r-- | chapitres/locaux-globaux.tex | 2 |
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. |