diff options
author | David A. Madore <david+git@madore.org> | 2012-12-06 13:54:57 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2012-12-06 13:54:57 +0100 |
commit | 03f71d0448d8632601ab1d642824e77c58b2c3a2 (patch) | |
tree | 7a937996a3170917b1abed2b0f1dd93dd8739504 | |
parent | 5046d8504129d4229112924540d5a5a74c618b3e (diff) | |
download | galois-03f71d0448d8632601ab1d642824e77c58b2c3a2.tar.gz galois-03f71d0448d8632601ab1d642824e77c58b2c3a2.tar.bz2 galois-03f71d0448d8632601ab1d642824e77c58b2c3a2.zip |
[Gröbner] Micro-remarque pour clarifier un énoncé.
-rw-r--r-- | chapitres/bases-groebner.tex | 3 |
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 |