summaryrefslogtreecommitdiffstats
path: root/chapitres/Dedekind.tex
diff options
context:
space:
mode:
authorFabrice (Darwin) <Fabrice.Orgogozo@gmail.com>2011-03-11 21:54:44 (GMT)
committerFabrice Orgogozo <Fabrice.Orgogozo@gmail.com>2011-03-11 21:54:44 (GMT)
commit9157f559763dad178472e75bbfa48fcc07fd8f0e (patch)
tree25a5bb3ed87fddb63662e73e55d3f9a5f4b9e243 /chapitres/Dedekind.tex
parentb6ba5db7d0e331818866deb1818c3809dea1b52d (diff)
downloadgalois-9157f559763dad178472e75bbfa48fcc07fd8f0e.zip
galois-9157f559763dad178472e75bbfa48fcc07fd8f0e.tar.gz
galois-9157f559763dad178472e75bbfa48fcc07fd8f0e.tar.bz2
[AVD, Dedekind] quelques énoncés à inclure.
Les résultats de ces deux chapitres vont être probablement considérablement réorganisés dans un avenir proche.
Diffstat (limited to 'chapitres/Dedekind.tex')
-rw-r--r--chapitres/Dedekind.tex25
1 files changed, 25 insertions, 0 deletions
diff --git a/chapitres/Dedekind.tex b/chapitres/Dedekind.tex
index 8c3e465..cbf2afc 100644
--- a/chapitres/Dedekind.tex
+++ b/chapitres/Dedekind.tex
@@ -100,6 +100,31 @@ produit d'idéaux premiers.
Corps global : extension finie de $𝐐$ ou de $𝐅_p(t)$, pour un nombre premier $p$.
\end{définition2}
+\begin{définition2}
+\XXX
+Adèles ; idèles.
+\end{définition2}
+
+
+\begin{proposition2}
+\XXX
+$k$ est discret dans $A_k$ et $A_k \bo k$ est compact ; de mesure $1$.
+\end{proposition2}
+
+\begin{corollaire2}
+\XXX
+Formule du produit.
+\end{corollaire2}
+
+\begin{proposition2}
+$k^×$ est discret dans $I_k$ et
+$I¹_k \bo k^×$ est compact ; de mesure
+$…$ en caractéristique nulle.
+\end{proposition2}
+
+Description $Cl(K)$ dans cas corps de fonctions
+(\cite[6.94]{suuron1@kato-kurokawa-saito}).
+
\subsection{Diviseurs}
\begin{définition2}