summaryrefslogtreecommitdiffstats
path: root/chapitres/bases-groebner.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2012-12-13 18:03:31 +0100
committerDavid A. Madore <david+git@madore.org>2012-12-13 18:03:31 +0100
commit1e47ff89911a6d823e24c4bb13872e1c6f71d660 (patch)
tree8644763bedeeaef21fa6cdff6b8909025c7686a3 /chapitres/bases-groebner.tex
parenta27ed56ddf3845002e3763455998fe4b4a1ded0c (diff)
downloadgalois-1e47ff89911a6d823e24c4bb13872e1c6f71d660.zip
galois-1e47ff89911a6d823e24c4bb13872e1c6f71d660.tar.gz
galois-1e47ff89911a6d823e24c4bb13872e1c6f71d660.tar.bz2
[Gröbner] Je merde complètement.
Diffstat (limited to 'chapitres/bases-groebner.tex')
-rw-r--r--chapitres/bases-groebner.tex7
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}