summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com>2017-10-16 10:18:32 (GMT)
committerFabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com>2017-10-16 10:18:32 (GMT)
commit7d1bc233349eef0ff3654e6a18230a5ac88777bf (patch)
tree0ebcdb74204695523e97217cb68f76b8efcb2096
parentbbeab41752f7a01426e293a617ef29ff22b3f248 (diff)
downloadgalois-master.zip
galois-master.tar.gz
galois-master.tar.bz2
[Gröbner] coquilleHEADmaster
-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 773813d..d342fe0 100644
--- a/chapitres/bases-groebner.tex
+++ b/chapitres/bases-groebner.tex
@@ -1548,7 +1548,7 @@ L'énoncé suivant, passablement évident, permet de généraliser certains
faits énoncés ci-dessus à un anneau quelconque en se passant de la
notion de base de Gröbner :
\begin{proposition2}\label{trivialite-algebres-finies-libres}
-Soit $k$ un anneau et $I$ un idéal de $k[Z_1,\ldots,Z_d]$ engendrée
+Soit $k$ un anneau et $I$ un idéal de $k[Z_1,\ldots,Z_d]$ engendré
par des polynômes $f_1,\ldots,f_d$ où $f_i$ est un polynôme ne faisant
intervenir que $Z_1,\ldots,Z_i$ et qui, vu comme polynôme en $Z_i$,
est unitaire de degré $\delta_i$. Alors $k[Z_1,\ldots,Z_d]/I$ est