summaryrefslogtreecommitdiffstats
path: root/decorum/plan-bouquin.tex
diff options
context:
space:
mode:
Diffstat (limited to 'decorum/plan-bouquin.tex')
-rw-r--r--decorum/plan-bouquin.tex24
1 files changed, 12 insertions, 12 deletions
diff --git a/decorum/plan-bouquin.tex b/decorum/plan-bouquin.tex
index b6029c6..9897cc6 100644
--- a/decorum/plan-bouquin.tex
+++ b/decorum/plan-bouquin.tex
@@ -19,7 +19,6 @@
\input{../configuration/encoredesmacros}
%
-\synctex=1
\begin{document}
%\DeclareUnicodeCharacter{00A0}{~}
@@ -51,10 +50,11 @@ Plan et avancement
\item Théorème de l'élément primitif.
\end{enumerate}
-\item ✓ Corps finis. \texttt{corps-finis.tex} [Fin] (D).
+\item Corps finis. \texttt{corps-finis.tex} [Fin] (D).
\begin{enumerate}
-\item Existence et unicité.
-\item Cyclicité du groupe multiplicatif.
+\item ✓ Existence et unicité.
+\item ✓ Cyclicité du groupe multiplicatif.
+\item Sommes de Jacobi/Gauß ; hypersurfaces diagonales.
\end{enumerate}
\item ✓ Algorithmiques des corps finis. \texttt{algo-corps-finis.tex} [ACF] (D).
@@ -150,9 +150,7 @@ si $k$ est un corps de caractéristique $p>0$.
irreductibilis}. (D) [cf. partiel 2006 Rosso])
\item Calculs explicites en degré $4$. (F)
\item Constructions à la règle et au compas. (F)
-\item Cyclotomie (sommes de Gauß-Jacobi, réduction modulo $p$ des polynômes
-cyclotomiques, exemple du calcul de $\cos\frac{2\pi}{17}$ (D), etc.). (F)
-\item Facultatif : fonction $\zeta$ d'une hypersurface diagonale. (F)
+\item Cyclotomie (réduction modulo $p$ des polynômes cyclotomiques, exemple du calcul de $\cos\frac{2\pi}{17}$ (D), etc.).
\item Facultatif : théorème de Lindemann (énoncer Schanuel), lunules. (D)
\end{enumerate}
@@ -183,15 +181,17 @@ cyclotomiques, exemple du calcul de $\cos\frac{2\pi}{17}$ (D), etc.). (F)
\item Théorème de Lüroth. (Version constructive par Schinzel ?)
\end{enumerate}
-\item Algèbre commutative. [AC]
+\item Algèbre commutative. \texttt{AC.tex} [AC]
\begin{enumerate}
-\item Anneaux (et modules) noethériens et artiniens
\item topologie sur $\Spec(A)$
\item foncteur $A↦T(A)$ ; th. de constructibilité de Chevalley. ([Olivier 1978], « Anneau absolument plat universel etc. ».)
-\item Complétion.
+\item théorie de la dimension
\item Lemme de normalisation de Noether.
-\item Nullstellensatz. (Anneaux de Jacobson [grosso modo : points fermés denses] ?)
-\item Fonction $\zeta$ d'une algèbre de type fini sur $\mathbb{Z}$.
+\item Nullstellensatz, anneaux de Jacobson
+\item Complétion.
+\item fonction $\zeta$ d'une algèbre de type fini sur $𝐅_p$ ; sur $\mathbb{Z}$.
+\item Conjectures de Weil. Exemple des hypersurfaces diagonales (sur $𝐅_p$)
+\item Anneaux (et modules) noethériens et artiniens
\item Fibrations.
\item Applications : connexité de $A(𝐂)$ pour $A$ $𝐂$-algèbre intègre de type fini
et densité des poins algébriques séparables dans un schéma lisse sur un corps.