summaryrefslogtreecommitdiffstats
path: root/decorum
diff options
context:
space:
mode:
authorFabrice (Darwin) <Fabrice.Orgogozo@gmail.com>2011-02-23 12:46:35 (GMT)
committerFabrice Orgogozo <Fabrice.Orgogozo@gmail.com>2011-02-23 12:46:35 (GMT)
commit6a68d5a77b707388a751b413aab831f05dd86648 (patch)
tree1c873b58fbb34a7c21a545dd107ef903148cc789 /decorum
parent6233a6199a28ee55a8c0db52c7332ac19c3acc00 (diff)
downloadgalois-6a68d5a77b707388a751b413aab831f05dd86648.zip
galois-6a68d5a77b707388a751b413aab831f05dd86648.tar.gz
galois-6a68d5a77b707388a751b413aab831f05dd86648.tar.bz2
[AC,AVD,Dedekind,plan] création deux fichiers et début de plan détaillé (+copié-collé)
Tout ce qui est copié-collé sera à réécrire totalement ; ces énoncés/démonstrations commencent par un \XXX J'aurais pu les commenter mais cela peut faire un bon point de départ.
Diffstat (limited to 'decorum')
-rw-r--r--decorum/plan-bouquin.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/decorum/plan-bouquin.tex b/decorum/plan-bouquin.tex
index 1900cb7..a6a68a5 100644
--- a/decorum/plan-bouquin.tex
+++ b/decorum/plan-bouquin.tex
@@ -200,7 +200,7 @@ et densité des poins algébriques séparables dans un schéma lisse sur un corp
\item définition et caractérisation
\item nombres $p$-adiques ; séries formelles
\item valuation, complétion
-\item prolongement, indices de ramification ($e,f ; ef=n$), définition extension modérées etc., différente
+\item prolongement, indices de ramification ($e,f ; ef=n$), définition extension modérées etc., différente (+ lien avec $Ω¹$)
\item structure des complets (Witt)
\item polygone de Newton ; Eisenstein (application à un résultat de finitude)
\item Puiseux (théorème et séries de), structure de l'inertie modérée