summaryrefslogtreecommitdiffstats
path: root/chapitres/bases-groebner.tex
diff options
context:
space:
mode:
Diffstat (limited to 'chapitres/bases-groebner.tex')
-rw-r--r--chapitres/bases-groebner.tex6
1 files changed, 6 insertions, 0 deletions
diff --git a/chapitres/bases-groebner.tex b/chapitres/bases-groebner.tex
index c24aa0a..aea0775 100644
--- a/chapitres/bases-groebner.tex
+++ b/chapitres/bases-groebner.tex
@@ -2244,6 +2244,12 @@ soit en position nette, alors l'image modulo $J$ de cette combinaison
$c_1 Z_1 + \cdots + c_d Z_d$, c'est-à-dire la combinaison
correspondante, dans $K$, des racines de $f$, fournit un \emph{élément
primitif} de $K$.
+
+Par ailleurs, on peut observer que
+\ref{algorithme-calcul-inverse-algebre-de-type-fini} permet
+d'effectuer dans le corps de décomposition $K$ des calculs d'inverse
+(i.e., on en a une présentation algorithmique non seulement comme
+anneau mais bien comme corps).
\end{remarque2}