summaryrefslogtreecommitdiffstats
path: root/chapitres/AVD-Dedekind.tex
diff options
context:
space:
mode:
authorFabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com>2012-07-13 19:44:19 (GMT)
committerFabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com>2012-07-13 19:44:19 (GMT)
commitac34b4ca8d35b9744b38aba18d6e7c5b72a1a108 (patch)
treee4f69d44436b4afdbbf01eb9251a26128748bd14 /chapitres/AVD-Dedekind.tex
parent729c4b079f0c8715a2e6cba655b6091d1a710090 (diff)
downloadgalois-ac34b4ca8d35b9744b38aba18d6e7c5b72a1a108.zip
galois-ac34b4ca8d35b9744b38aba18d6e7c5b72a1a108.tar.gz
galois-ac34b4ca8d35b9744b38aba18d6e7c5b72a1a108.tar.bz2
[AVD-D] énoncé (vague) : à faire
Diffstat (limited to 'chapitres/AVD-Dedekind.tex')
-rw-r--r--chapitres/AVD-Dedekind.tex12
1 files changed, 11 insertions, 1 deletions
diff --git a/chapitres/AVD-Dedekind.tex b/chapitres/AVD-Dedekind.tex
index 31d9fc9..c629393 100644
--- a/chapitres/AVD-Dedekind.tex
+++ b/chapitres/AVD-Dedekind.tex
@@ -10,7 +10,6 @@
\input{../configuration/formules}
\input{../configuration/encoredesmacros}
-\synctex=1
\input{.cv}
\usepackage{stmaryrd}
@@ -237,6 +236,17 @@ le cardinal des fibres est majoré par $[K:k]_{\sep}$.
%ZS, tome 2, p. 29 par exemple.
+\begin{proposition2}
+\label{extensions valuations et norme}
+Soient $k$ un corps valué et $K$ une extension finie.
+Supposons la valeur absolue $|⋅|$ de $k$ \emph{normalisée} \XXX.
+Alors, $|\N_{K\bo k}(λ)|= ∏_{i} |λ|_i$, où $|⋅|_i$ parcourt
+les extensions normalisées de $| ⋅|$ à $K$.
+\end{proposition2}
+
+% cf. par exemple Cassels et Fröhlich, p. 59.
+% utilisé pour seconde démo formule du produit.
+
\begin{théorème2}
\XXX
Le théorème d'approximation=th. restes chinois pour valeurs absolues.