[leitfaden] début mise à jour

 À faire : ajouter exemple de groupes de Galois et/ou algorithmes de calculs, etc.

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};