summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice (Phare) <Fabrice.Orgogozo+git@gmail.com>2013-02-15 10:38:06 (GMT)
committerFabrice (Phare) <Fabrice.Orgogozo+git@gmail.com>2013-02-15 10:38:06 (GMT)
commit9295952ce94bdde680ec81653047a38d0870aa87 (patch)
treec9745483e6cb7a9b4cebd27f9b58e53cbd52793a
parent8bffe7be7511918adbaf72dcfc6340c854dbe8db (diff)
downloadgalois-9295952ce94bdde680ec81653047a38d0870aa87.zip
galois-9295952ce94bdde680ec81653047a38d0870aa87.tar.gz
galois-9295952ce94bdde680ec81653047a38d0870aa87.tar.bz2
Gröbner: question sur l'ADU d'un polynôme.
Il me semble aussi que les monômes x₁^r₁...x_{d-1}^r_d-1 avec r_i ≤ d-i forment une base. Si oui, on devrait le dire. Et puis la majoration par d! est liée au fait classique que le corps de décomposition est toujours de degré ≤ d! sur le corps de base. [Avec égalité si...]
-rw-r--r--chapitres/bases-groebner.tex1
1 files changed, 1 insertions, 0 deletions
diff --git a/chapitres/bases-groebner.tex b/chapitres/bases-groebner.tex
index 1c21208..e393ba6 100644
--- a/chapitres/bases-groebner.tex
+++ b/chapitres/bases-groebner.tex
@@ -1755,6 +1755,7 @@ définie en \ref{definition-algebre-de-decomposition-universelle},
alors celle-ci est de dimension finie comme $k$-espace vectoriel
(l'idéal $I$ est de dimension $0$).
\end{corollaire2}
+\commentaire{de degré $d!$ ?}
\begin{proof}
Ceci découle immédiatement de
\ref{equivalences-ideaux-affines-dimension-zero} appliqué à la base de