summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com>2013-03-07 16:32:19 (GMT)
committerFabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com>2013-03-07 16:32:19 (GMT)
commit59029c1431d745a6348442b9597f92af400ece30 (patch)
tree1e122ff08c744553b8fbc320c260095d3666af7f
parent43ff55e9a5250f0fdd42a4f2993753da5932983a (diff)
downloadgalois-59029c1431d745a6348442b9597f92af400ece30.zip
galois-59029c1431d745a6348442b9597f92af400ece30.tar.gz
galois-59029c1431d745a6348442b9597f92af400ece30.tar.bz2
[leitfaden] début mise à jour
À faire : ajouter exemple de groupes de Galois et/ou algorithmes de calculs, etc.
-rw-r--r--decorum/leitfaden.tex38
1 files changed, 20 insertions, 18 deletions
diff --git a/decorum/leitfaden.tex b/decorum/leitfaden.tex
index 36e97e9..6d8013e 100644
--- a/decorum/leitfaden.tex
+++ b/decorum/leitfaden.tex
@@ -18,27 +18,28 @@
\tikzstyle{utilisedans}=[->,>=latex]
\tikzstyle{qquesrenvoisa}=[->,>=latex,very thick,dotted]
% les nœuds
- \node[quadri] (Spec) at (0,2) {0. Spectres et idéaux premiers};
+ \node[quadri] (Spec) at (0,2) {Spectres et idéaux premiers};
\node[quadri] (Cat) at (4.5,2) {Catégories (app.)};
\node[quadri] (Tens) at (8,2) {Produit tensoriel (app.)};
\node[quadri] (Coho) at (12.5,2) {Cohomologie des groupes (app.)};
- \node[quadri] (Alg) at (0,0) {I. Algèbres finies sur un corps};
- \node[quadri] (Fin) at (5,0) {II. Corps finis};
- \node[quadri] (ACF) at (7,-2) {III. Algorithmique des corps finis};
- \node[quadri] (C1) at (3,-2) {IV. Corps $C₁$};
- \node[quadri] (CG) at (0,-4) {V. Correspondance de Galois};
- \node[quadri] (ExG) at (5,-4) {VI. Calculs de groupes de Galois};
- \node[quadri] (formes) at (9.5,-4) {VII. Formes tordues};
- \node[quadri] (Krull) at (13.5,-4) {XI. Théorie de Galois infinie};
- \node[quadri] (Azu) at (9,-6) {VIII. Algèbres d'Azumaya et groupe de Brauer};
- \node[quadri] (versel) at (5,-8) {IX. Équations verselles et petits degrés};
- \node[quadri] (KAS) at (0,-10) {XII. Théorie de Kummer et Artin-Schreier-Witt};
- \node[quadri] (Om) at (12,-10) {XVI. $Ω¹$};
- \node[quadri] (Cons) at (0,-12) {XIII. Résolubilité par radicaux, constructions explicites};
- \node[quadri] (AC) at (7,-10) {XVIII. Algèbre commutative};
- \node[quadri] (AVD) at (7,-12) {XIX. Anneaux de valuation discrète};
- \node[quadri] (Dedekind) at (7,-14) {XXI. Corps globaux};
- \node[quadri] (Cebotarev) at (7,-16) {XXII. Čebotarev};
+ \node[quadri] (Alg) at (0,0) {Algèbres finies sur un corps};
+ \node[quadri] (Fin) at (5,0) {Corps finis};
+ \node[quadri] (ACF) at (7,-2) {Algorithmique des corps finis};
+ \node[quadri] (Groebner) at (12,-2) {Bases de Gröbner};
+ \node[quadri] (C1) at (3,-2) {Corps $C₁$};
+ \node[quadri] (CG) at (0,-4) {Correspondance de Galois};
+ \node[quadri] (ExG) at (5,-4) {Calculs de groupes de Galois};
+ \node[quadri] (formes) at (9.5,-4) {Formes tordues};
+ \node[quadri] (Krull) at (13.5,-4) {Théorie de Galois infinie};
+ \node[quadri] (Azu) at (9,-6) {Algèbres d'Azumaya et groupe de Brauer};
+ \node[quadri] (versel) at (5,-8) {Équations verselles et petits degrés};
+ \node[quadri] (KAS) at (0,-10) {Théorie de Kummer et Artin-Schreier-Witt};
+ \node[quadri] (Om) at (12,-10) {$Ω¹$};
+ \node[quadri] (Cons) at (0,-12) {Résolubilité par radicaux, constructions explicites};
+ \node[quadri] (AC) at (7,-10) {Algèbre commutative};
+ \node[quadri] (AVD) at (7,-12) {Anneaux de valuation discrète};
+ \node[quadri] (Dedekind) at (7,-14) {Corps locaux et globaux};
+ \node[quadri] (Cebotarev) at (7,-16) {Čebotarev};
% les flèches
\draw[utilisedans] (Spec)--(Alg);
\draw[utilisedans] (Alg)--(CG);
@@ -60,6 +61,7 @@
\draw[utilisedans] (AVD)--(Dedekind);
\draw[utilisedans] (Dedekind)--(Cebotarev);
\draw[utilisedans] (Om)--(AC);
+ \draw[utilisedans] (Groebner)--(ExG);
% la légende
\node (A) at (0,3) {A};
\node (B) at (6,3) {B};