summaryrefslogtreecommitdiffstats
path: root/chapitres/bases-groebner.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2012-12-06 13:54:57 +0100
committerDavid A. Madore <david+git@madore.org>2012-12-06 13:54:57 +0100
commit03f71d0448d8632601ab1d642824e77c58b2c3a2 (patch)
tree7a937996a3170917b1abed2b0f1dd93dd8739504 /chapitres/bases-groebner.tex
parent5046d8504129d4229112924540d5a5a74c618b3e (diff)
downloadgalois-03f71d0448d8632601ab1d642824e77c58b2c3a2.tar.gz
galois-03f71d0448d8632601ab1d642824e77c58b2c3a2.tar.bz2
galois-03f71d0448d8632601ab1d642824e77c58b2c3a2.zip
[Gröbner] Micro-remarque pour clarifier un énoncé.
Diffstat (limited to 'chapitres/bases-groebner.tex')
-rw-r--r--chapitres/bases-groebner.tex3
1 files changed, 2 insertions, 1 deletions
diff --git a/chapitres/bases-groebner.tex b/chapitres/bases-groebner.tex
index 19c93e3..18e8e16 100644
--- a/chapitres/bases-groebner.tex
+++ b/chapitres/bases-groebner.tex
@@ -1228,7 +1228,8 @@ k[Z_1,\ldots,Z_t]$ est une base de Gröbner de $J$.
Plus généralement, ces affirmations (à $t$ fixé) valent pour tout
ordre admissible $\preceq$ vérifiant la propriété suivante : si
$\initial_{\preceq}(f) \in k[Z_1,\ldots,Z_t]$ alors $f \in
-k[Z_1,\ldots,Z_t]$.
+k[Z_1,\ldots,Z_t]$ (autrement dit, il ordonne chacun de
+$Z_{t+1},\ldots,Z_d$ après tout monôme en $Z_1,\ldots,Z_t$).
\end{proposition2}
\begin{proof}
La propriété énoncée dans le second paragraphe est bien vérifiée (pour