summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--decorum/leitfaden.tex2
-rw-r--r--decorum/plan-bouquin.tex26
2 files changed, 15 insertions, 13 deletions
diff --git a/decorum/leitfaden.tex b/decorum/leitfaden.tex
index 81c228a..dd17874 100644
--- a/decorum/leitfaden.tex
+++ b/decorum/leitfaden.tex
@@ -39,7 +39,7 @@
\tikzstyle{utilisedans}=[->,double,double distance=2pt,>=latex]
\tikzstyle{qquesrenvoisa}=[->,>=latex,very thick,dotted]
% les nœuds
- \node[quadri] (Spec) at (0,2) {Spectres et idéaux premiers (app.)};
+ \node[quadri] (Spec) at (0,2) {0. 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.)};
diff --git a/decorum/plan-bouquin.tex b/decorum/plan-bouquin.tex
index f7fb4a4..45cc193 100644
--- a/decorum/plan-bouquin.tex
+++ b/decorum/plan-bouquin.tex
@@ -28,6 +28,15 @@ Plan et avancement
\begin{enumerate}
+
+\item ✓ Spectre et idéaux premiers (appendice). \texttt{spectre.tex} [Spec] (F)
+\begin{enumerate}
+\item Spectre, spectre maximal.
+\item Lemme chinois.
+\item Nilradical.
+\item [en cours] Idempotents (I).
+\end{enumerate}
+
\item ✓ Algèbres finies sur un corps, extensions algébriques. \texttt{extensions-algebriques.tex} [Alg] (F).
\begin{enumerate}
\item Conséquences du lemme chinois.
@@ -61,6 +70,7 @@ Plan et avancement
\item Correspondance de Galois. \texttt{correspondance-galois.tex} [CG] (F).
\begin{enumerate}
\item ✓ Conjugués d'un élément, extensions normales, galoisiennes.
+\item [en cours] ¶ Extension galoisiennes d'anneaux
\item ✓ Groupe de Galois d'un polynôme. Réduction modulo $p$ (facile).
\item ✓ Correspondance de Galois : le cas fini classique.
\item ✓ Fonctorialité.
@@ -80,7 +90,7 @@ Plan et avancement
\item ✓ Galois-Grothendieck.
\item ✓ Formes et cohomologie galoisienne.
\item ✓ Hilbert 90.
-\item ✓ Torseurs.
+\item [en cours] Torseurs.
\end{enumerate}
\item ✓ Algèbres d'Azumaya et groupe de Brauer. \texttt{brauer.tex} [Azu] (F).
@@ -120,8 +130,8 @@ si $k$ est un corps de caractéristique $p>0$.
\begin{enumerate}
\item ✓ Irréductibilité des $X^n-a$. Kummer. (F)
\item ✓ Artin-Schreier. (F)
-\item Vecteurs de Witt. (F) [cf. Lenstra]
-\item Artin-Schreier-Witt. (F)
+\item ✓ Vecteurs de Witt. (F)
+\item [en cours] Artin-Schreier-Witt. (F)
\item Facultatif : construction d'anneaux de Fontaine. (F)
\end{enumerate}
@@ -144,7 +154,7 @@ cyclotomiques, exemple du calcul de $\cos\frac{2\pi}{17}$ (D), etc.). (F)
\item Anneaux intégralement clos.
\item ✓ Relèvement des idéaux premiers (Cohen-Seidenberg).
\item ✓ Anneaux d'invariants sous un groupe fini.
-\item Spécialisation du groupe de Galois.
+\item [en cours] Spécialisation du groupe de Galois.
\item Normalisation dans une extension séparable. (Donner un contre-exemple non japonais)
\end{enumerate}
@@ -283,14 +293,6 @@ ensembles simpliciaux et nerf d'une catégorie)
\item ✓? Adjonctions de foncteurs.
\end{enumerate}
-\item ✓ Spectre et idéaux premiers (appendice). \texttt{spectre.tex} [Spec] (F)
-\begin{enumerate}
-\item Spectre, spectre maximal.
-\item Lemme chinois.
-\item Nilradical.
-\item Idempotents I.
-\end{enumerate}
-
\item Produit tensoriel (appendice). \texttt{produit-tensoriel.tex} [Tens] (D).
\begin{enumerate}
\item ✓ Produit tensoriel de modules.