diff options
author | Fabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com> | 2013-05-20 05:05:36 (GMT) |
---|---|---|
committer | Fabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com> | 2013-05-20 05:05:36 (GMT) |
commit | 16d9e836bc8ebc8e2d598b7a4ed18984e36aa937 (patch) | |
tree | 8f5298328138644744d0e78fefbdbf7b524fac2e | |
parent | 6519becad345398e55ee452b6f1af41dd9680cd2 (diff) | |
download | galois-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.tex | 10 |
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 |