[Gröbner, Radicaux] Petites remarques suite à ce qui vient d'être démontré.

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}