summaryrefslogtreecommitdiffstats
path: root/chapitres/locaux-globaux.tex
diff options
context:
space:
mode:
authorFabrice (Polytechnique) <Fabrice.Orgogozo+git@gmail.com>2013-08-28 11:30:22 (GMT)
committerFabrice (Polytechnique) <Fabrice.Orgogozo+git@gmail.com>2013-08-28 11:30:22 (GMT)
commit44e22c6161a8e91a35329d5dda9347c4f96f5cf0 (patch)
treefcddc8a1e0619108cb03ad53ad66731ce9717180 /chapitres/locaux-globaux.tex
parent540bfa46c55e88e6ab3bb1d713c3f80e8a5558cb (diff)
downloadgalois-44e22c6161a8e91a35329d5dda9347c4f96f5cf0.zip
galois-44e22c6161a8e91a35329d5dda9347c4f96f5cf0.tar.gz
galois-44e22c6161a8e91a35329d5dda9347c4f96f5cf0.tar.bz2
LG : ajout d'une référence
Diffstat (limited to 'chapitres/locaux-globaux.tex')
-rw-r--r--chapitres/locaux-globaux.tex2
1 files changed, 2 insertions, 0 deletions
diff --git a/chapitres/locaux-globaux.tex b/chapitres/locaux-globaux.tex
index ae59e40..ce21b3b 100644
--- a/chapitres/locaux-globaux.tex
+++ b/chapitres/locaux-globaux.tex
@@ -2396,6 +2396,8 @@ la trace de $K_u^{++}=\{f ∈ K: |f|_u < 1\}$ est une \emph{bijection}.
\XXX Question : si $U′ ⊆ U$, $𝒪_K(U′)$ est-il un localisé de $𝒪_K(U)$ ?
+\commentaire{Voir aussi P.M. Cohn, Algebraic numbers…, p. 58-64.}
+
\begin{démo}
Montrons le premier énoncé, en distinguant deux cas.
Si $K$ est un corps de nombres, $𝒪_K(U)$ contient $𝐙$ donc la clôture intégrale $𝒪_K$