summaryrefslogtreecommitdiffstats
path: root/chapitres
diff options
context:
space:
mode:
Diffstat (limited to 'chapitres')
-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