diff options
author | David A. Madore <david+git@madore.org> | 2012-12-13 18:03:31 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2012-12-13 18:03:31 +0100 |
commit | 1e47ff89911a6d823e24c4bb13872e1c6f71d660 (patch) | |
tree | 8644763bedeeaef21fa6cdff6b8909025c7686a3 | |
parent | a27ed56ddf3845002e3763455998fe4b4a1ded0c (diff) | |
download | galois-1e47ff89911a6d823e24c4bb13872e1c6f71d660.tar.gz galois-1e47ff89911a6d823e24c4bb13872e1c6f71d660.tar.bz2 galois-1e47ff89911a6d823e24c4bb13872e1c6f71d660.zip |
[Gröbner] Je merde complètement.
-rw-r--r-- | chapitres/bases-groebner.tex | 7 |
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} |