summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com>2013-05-20 05:05:36 (GMT)
committerFabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com>2013-05-20 05:05:36 (GMT)
commit16d9e836bc8ebc8e2d598b7a4ed18984e36aa937 (patch)
tree8f5298328138644744d0e78fefbdbf7b524fac2e
parent6519becad345398e55ee452b6f1af41dd9680cd2 (diff)
downloadgalois-16d9e836bc8ebc8e2d598b7a4ed18984e36aa937.zip
galois-16d9e836bc8ebc8e2d598b7a4ed18984e36aa937.tar.gz
galois-16d9e836bc8ebc8e2d598b7a4ed18984e36aa937.tar.bz2
[Gröbner] proposition d'une autre stratégie.
Je pense qu'on a maintenant des méthodes un peu plus simples. À vérifier.
-rw-r--r--chapitres/bases-groebner.tex10
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