diff options
author | David A. Madore <david+git@madore.org> | 2012-12-06 16:51:17 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2012-12-06 16:51:17 +0100 |
commit | 2401ff30db27ccd7e68f8dde54ee973501fbe5ee (patch) | |
tree | b3be733458fe8268bc26c2ec68343c809880d4dd /chapitres/bases-groebner.tex | |
parent | e6d5ca0e70e417b822fab26363b3c2bd04dab99a (diff) | |
download | galois-2401ff30db27ccd7e68f8dde54ee973501fbe5ee.tar.gz galois-2401ff30db27ccd7e68f8dde54ee973501fbe5ee.tar.bz2 galois-2401ff30db27ccd7e68f8dde54ee973501fbe5ee.zip |
[Gröbner, Radicaux] Petites remarques suite à ce qui vient d'être démontré.
Diffstat (limited to 'chapitres/bases-groebner.tex')
-rw-r--r-- | chapitres/bases-groebner.tex | 6 |
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} |