diff options
author | David A. Madore <david+git@madore.org> | 2012-12-06 15:20:37 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2012-12-06 15:20:37 +0100 |
commit | 2e6c9aa095351d738f9e9dd16d0c34aaeb652994 (patch) | |
tree | cd0423b359afb3eab8302687fc3cd9e4b6f0e761 /chapitres | |
parent | 03f71d0448d8632601ab1d642824e77c58b2c3a2 (diff) | |
download | galois-2e6c9aa095351d738f9e9dd16d0c34aaeb652994.tar.gz galois-2e6c9aa095351d738f9e9dd16d0c34aaeb652994.tar.bz2 galois-2e6c9aa095351d738f9e9dd16d0c34aaeb652994.zip |
[Gröbner] Typo stupide.
Diffstat (limited to 'chapitres')
-rw-r--r-- | chapitres/bases-groebner.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapitres/bases-groebner.tex b/chapitres/bases-groebner.tex index 18e8e16..37bbb45 100644 --- a/chapitres/bases-groebner.tex +++ b/chapitres/bases-groebner.tex @@ -1244,7 +1244,7 @@ Il est clair que $(\initial(f_1),\ldots,\initial(f_u)) \subseteq \initial(J) \subseteq \initial(I) \cap k[Z_1,\ldots,Z_t]$. On va montrer que $\initial(f_1),\ldots,\initial(f_u)$ engendrent $\initial(I) \cap k[Z_1,\ldots,Z_t]$, c'est-à-dire -$(\initial(f_1),\ldots,\initial(f_u)) = \initial(J) = initial(I) \cap +$(\initial(f_1),\ldots,\initial(f_u)) = \initial(J) = \initial(I) \cap k[Z_1,\ldots,Z_t]$ : ceci prouvera à la fois que $f_1,\ldots,f_u$ forment une base de Gröbner de $J$ et que $J = I \cap k[Z_1,\ldots,Z_t]$. |