summaryrefslogtreecommitdiffstats
path: root/chapitres
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2012-12-06 14:20:37 (GMT)
committerDavid A. Madore <david+git@madore.org>2012-12-06 14:20:37 (GMT)
commit2e6c9aa095351d738f9e9dd16d0c34aaeb652994 (patch)
treecd0423b359afb3eab8302687fc3cd9e4b6f0e761 /chapitres
parent03f71d0448d8632601ab1d642824e77c58b2c3a2 (diff)
downloadgalois-2e6c9aa095351d738f9e9dd16d0c34aaeb652994.zip
galois-2e6c9aa095351d738f9e9dd16d0c34aaeb652994.tar.gz
galois-2e6c9aa095351d738f9e9dd16d0c34aaeb652994.tar.bz2
[Gröbner] Typo stupide.
Diffstat (limited to 'chapitres')
-rw-r--r--chapitres/bases-groebner.tex2
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]$.