summaryrefslogtreecommitdiffstats
path: root/chapitres/AVD-Dedekind.tex
diff options
context:
space:
mode:
authorFabrice (Darwin) <Fabrice.Orgogozo+git@gmail.com>2012-03-01 17:55:35 (GMT)
committerFabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com>2012-03-01 17:55:35 (GMT)
commit7d0ee0aa731d91d5387fb2ff45e1484f5f425e0d (patch)
treecddf97fb9e140c52109144eef3e82d7afa1f43d9 /chapitres/AVD-Dedekind.tex
parentc631d683ee7da51bd958096b9b2f445367272b3c (diff)
downloadgalois-7d0ee0aa731d91d5387fb2ff45e1484f5f425e0d.zip
galois-7d0ee0aa731d91d5387fb2ff45e1484f5f425e0d.tar.gz
galois-7d0ee0aa731d91d5387fb2ff45e1484f5f425e0d.tar.bz2
[AC,AVD-D,RT] toudous
Diffstat (limited to 'chapitres/AVD-Dedekind.tex')
-rw-r--r--chapitres/AVD-Dedekind.tex10
1 files changed, 10 insertions, 0 deletions
diff --git a/chapitres/AVD-Dedekind.tex b/chapitres/AVD-Dedekind.tex
index f591e1d..8e2750e 100644
--- a/chapitres/AVD-Dedekind.tex
+++ b/chapitres/AVD-Dedekind.tex
@@ -227,6 +227,16 @@ d'Archimède dans lequel il introduit un système pour nommer les grands nombres
\subsubsection{}Définir $Σ(K)$ (ensemble des classes d'équivalences de
valeurs absolues). Fonctorialité.
+\begin{proposition2}
+\label{fonctorialité valeurs absolues}
+Soit $K\bo k$ une extension.
+Le morphisme de restriction $Σ(K) → Σ(k)$ est
+\emph{surjectif}. Si l'extension est finie,
+le cardinal des fibres est majoré par $[K:k]_{\sep}$.
+\end{proposition2}
+
+%ZS, tome 2, p. 29 par exemple.
+
\begin{théorème2}
\XXX
Le théorème d'approximation=th. restes chinois pour valeurs absolues.