diff options
-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 |