summaryrefslogtreecommitdiffstats
path: root/chapitres/AVD-Dedekind.tex
diff options
context:
space:
mode:
authorFabrice Orgogozo <Fabrice.Orgogozo@gmail.com>2011-04-20 19:40:33 (GMT)
committerFabrice Orgogozo <Fabrice.Orgogozo@gmail.com>2011-04-20 19:40:33 (GMT)
commit645a1436b7fd6ecfb5c5bae37792b83dc5dd6e8f (patch)
treed7828f5d2ee0b6457807ccb083877dc0ee54ee46 /chapitres/AVD-Dedekind.tex
parente7d9b1f4cf43885010100da7c229ca316fb48c46 (diff)
downloadgalois-645a1436b7fd6ecfb5c5bae37792b83dc5dd6e8f.zip
galois-645a1436b7fd6ecfb5c5bae37792b83dc5dd6e8f.tar.gz
galois-645a1436b7fd6ecfb5c5bae37792b83dc5dd6e8f.tar.bz2
[AVD-D] étiquette + référence
Diffstat (limited to 'chapitres/AVD-Dedekind.tex')
-rw-r--r--chapitres/AVD-Dedekind.tex7
1 files changed, 4 insertions, 3 deletions
diff --git a/chapitres/AVD-Dedekind.tex b/chapitres/AVD-Dedekind.tex
index 7564b7c..fbe2cf4 100644
--- a/chapitres/AVD-Dedekind.tex
+++ b/chapitres/AVD-Dedekind.tex
@@ -769,7 +769,7 @@ de Dedekind.
\end{théorème2}
\begin{démo}
-p. ex. Bourbaki ou [Neukirch], chap.I., §12, p. 77.
+p. ex. Bourbaki, [Neukirch], chap.I., §12, p. 77, ou [Zariski-Samuel, Ⅴ].
\end{démo}
Corollaire : fermeture intégrale d'un Dedekind est de Dedekind.
@@ -792,7 +792,8 @@ diviseurs, diviseurs effectifs etc.
\subsection{Différente}
\begin{définition2}
-Différente $𝒟_{L\bo K}$ (via la trace).
+\label{différente}
+Différente \index{différente} $𝒟_{L\bo K}$ (via la trace).
\end{définition2}
Lien avec la définition locale.
@@ -836,7 +837,7 @@ $\big(\Tr_{K/\QQ}(x_ix_j)\big)= {}^t\big(\sigma_i(x_j)\big) \big(\sigma_i(x_j)\b
\end{démo}
\begin{définition2}
-Discriminant $\got{d}_{K/\QQ}$.
+Discriminant $\got{d}_{K/\QQ}=\N_{K \bo 𝐐}(𝒟_{K\bo 𝐐})$.
\end{définition2}
\begin{proposition2}