[Gröbner] proposition d'une autre stratégie.

 Je pense qu'on a maintenant des méthodes un peu plus simples.
 À vérifier.

1 files changed, 10 insertions, 0 deletions

diff --git a/chapitres/bases-groebner.tex b/chapitres/bases-groebner.tex
index d95937b..a39965e 100644
--- a/chapitres/bases-groebner.tex
+++ b/chapitres/bases-groebner.tex
@@ -2270,6 +2270,16 @@ tester l'irréductibilité des polynômes à une variable à coefficients
 dans $k$, alors donné un idéal $I$ de dimension $0$, on peut tester si
 $I$ est premier.)
 \end{algorithme2}
+
+\commentaire{[2013-5-20] J'ai l'impression qu'il existe des
+méthodes plus modernes qui n'utilisent pas ces projections
+génériques, héritées de l'article historique de Hermann. Cf.
+par exemple « Primary decomposition of zero-dimensional ideals over finite fields »
+de Wan et al. D'autre part, comme expliqué dans
+« Direct methods for primary decomposition », de Eisenbud et
+al., on peut déduire la décomposition primaire [en général] de la
+normalisation.}
+
 \begin{proof}[Description de l'algorithme]
 S'agissant du deuxième paragraphe, sur un corps parfait un idéal est
 radical si et seulement si il est géométriquement radical, on sait