diff options
author | Fabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com> | 2013-03-07 17:32:19 +0100 |
---|---|---|
committer | Fabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com> | 2013-03-07 17:32:19 +0100 |
commit | 59029c1431d745a6348442b9597f92af400ece30 (patch) | |
tree | 1e122ff08c744553b8fbc320c260095d3666af7f | |
parent | 43ff55e9a5250f0fdd42a4f2993753da5932983a (diff) | |
download | galois-59029c1431d745a6348442b9597f92af400ece30.tar.gz galois-59029c1431d745a6348442b9597f92af400ece30.tar.bz2 galois-59029c1431d745a6348442b9597f92af400ece30.zip |
[leitfaden] début mise à jour
À faire : ajouter exemple de groupes de Galois et/ou algorithmes de calculs, etc.
-rw-r--r-- | decorum/leitfaden.tex | 38 |
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}; |