diff options
author | Fabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com> | 2017-10-16 12:18:32 +0200 |
---|---|---|
committer | Fabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com> | 2017-10-16 12:18:32 +0200 |
commit | 7d1bc233349eef0ff3654e6a18230a5ac88777bf (patch) | |
tree | 0ebcdb74204695523e97217cb68f76b8efcb2096 | |
parent | bbeab41752f7a01426e293a617ef29ff22b3f248 (diff) | |
download | galois-master.tar.gz galois-master.tar.bz2 galois-master.zip |
-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 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 |