[Gröbner] Je merde complètement.

1 files changed, 6 insertions, 1 deletions

diff --git a/chapitres/bases-groebner.tex b/chapitres/bases-groebner.tex
index 1ff321a..4909be0 100644
--- a/chapitres/bases-groebner.tex
+++ b/chapitres/bases-groebner.tex
@@ -1569,7 +1569,12 @@ E := \prod_{i=1}^n (1+T Z_i) = \sum_{j=0}^{n} e_j(Z_1,\ldots,Z_n)\, T^j
 (ces identités étant faciles à vérifier) : il est alors clair que
 l'inverse de $H$ est $E(-T)$, ce qui donne l'identité voulue.
 
-\XXX
+Soit $J$ l'idéal engendré par $q_1,\ldots,q_d$ (on vient de montrer $J
+\subseteq I$) et $J^@$ l'idéal engendré par
+$\initial(q_1),\ldots,\initial(q_d)$ c'est-à-dire
+$Z_d,Z_{d-1}^2,\ldots,Z_1^d$.  On a $J^@ \subseteq \initial(J)
+\subseteq \initial(I)$ et on voudrait prouver qu'il y a égalité \XXX
+--- Je n'y comprends rien.
 \end{proof}
 
 \begin{exemple2}\label{exemple-algebre-de-decomposition-universelle-non-connexe}