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.zip galois-master.tar.gz galois-master.tar.bz2 | |
| -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 |