summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--chapitres/corps-c1.tex11
1 files changed, 11 insertions, 0 deletions
diff --git a/chapitres/corps-c1.tex b/chapitres/corps-c1.tex
index cd5fc43..0363d9f 100644
--- a/chapitres/corps-c1.tex
+++ b/chapitres/corps-c1.tex
@@ -540,6 +540,17 @@ de \ref{plusieurs-polynomes-degres-differents-sur-corps-c-r}, compte
tenu de la proposition \ref{existence-forme-normique-corps-finis}.
\end{proof}
+\begin{remarque2}
+La démonstration de \ref{theoreme-chevalley-warning} donne
+un peu mieux : si $P₁,…,P_s$ sont des polynômes non nuls
+et $n> ∑_i \deg(P_i)$, le nombre de zéros communs est
+divisible par $p$. On retrouve le résultat précédent car
+l'origine est toujours zéro d'un polynôme homogène.
+\end{remarque2}
+
+\commentaire{mettre directement cet énoncé pour
+Chevalley-Warning ?}
+
\subsection{Géométries finies et coniques}
Rappelons d'abord quelques généralités sur la géométrie projective