summaryrefslogtreecommitdiffstats
path: root/notes-geoalg.tex
diff options
context:
space:
mode:
Diffstat (limited to 'notes-geoalg.tex')
-rw-r--r--notes-geoalg.tex8
1 files changed, 8 insertions, 0 deletions
diff --git a/notes-geoalg.tex b/notes-geoalg.tex
index 236ae9a..ff4edb2 100644
--- a/notes-geoalg.tex
+++ b/notes-geoalg.tex
@@ -3686,6 +3686,14 @@ appartiennent à $k[t_1,\ldots,t_s]$ forment une base de Gröbner de $I
\cap k[t_1,\ldots,t_s]$.
\end{prop}
+(En fait, il suffit que l'ordre $\preceq$ utilisé vérifie la
+propriété : si $\init_{\preceq}(f) \in k[t_1,\ldots,t_s]$ alors $f \in
+k[t_1,\ldots,t_s]$. Une façon parfois plus efficace que l'ordre
+lexicographique pur, \emph{si on connaît $s$ à l'avance}, consiste à
+prendre l'ordre sur le degré total en les seules variables
+$t_1,\ldots,t_s$ comme premier critère de comparaison, et en cas
+d'égalité comparer avec $\mathrel{\preceq_{\mathtt{grevlex}}}$.)
+
\begin{prop}
Soit $I$ un idéal de $k[t_1,\ldots,t_d]$ et $s \leq d$. Alors $V(I
\cap k[t_1,\ldots,t_s])$ est l'adhérence de Zariski dans