diff options
author | David A. Madore <david+git@madore.org> | 2012-12-20 17:09:06 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2012-12-20 17:09:06 +0100 |
commit | 3767a97cf9e7f65bbe1cdfc8c2fe2a2698dc88df (patch) | |
tree | c84b5ce683ef1d238c4282877305ce08ecdc533e /chapitres/bases-groebner.tex | |
parent | f960022ab28f8c6146a94ac162e6c08fcfe08ee5 (diff) | |
download | galois-3767a97cf9e7f65bbe1cdfc8c2fe2a2698dc88df.tar.gz galois-3767a97cf9e7f65bbe1cdfc8c2fe2a2698dc88df.tar.bz2 galois-3767a97cf9e7f65bbe1cdfc8c2fe2a2698dc88df.zip |
[Gröbner] Commit d'un lemme que je vais effacer immédiatement.
Diffstat (limited to 'chapitres/bases-groebner.tex')
-rw-r--r-- | chapitres/bases-groebner.tex | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/chapitres/bases-groebner.tex b/chapitres/bases-groebner.tex index 4909be0..eda91c5 100644 --- a/chapitres/bases-groebner.tex +++ b/chapitres/bases-groebner.tex @@ -1522,6 +1522,26 @@ alors manifestement satisfaite de $J$ si elle l'est de $I$. \subsection{Algèbre de décomposition universelle d'un polynôme}\label{section-algebre-de-decomposition-universelle} +\begin{lemme2} +Soit $k$ un corps. On considère l'algèbre $S = k[E_1,\ldots,E_d]$ des +polynômes en $d$ variables sur les indéterminées $E_1,\ldots,E_d$ +comme une sous-algèbre de l'algèbre isomorphe $R = k[Z_1,\ldots,Z_d]$ +en envoyant chaque $E_i$ sur le $i$-ième polynôme symétrique +élémentaire $e_i(Z_1,\ldots,Z_d)$ en les $Z_i$. Alors $R$ est un +$S$-module libre de dimension $d!$. +\end{lemme2} +\begin{proof} +Le résultat classique \XXX sur les polynômes symétriques élémentaires +garantit que $E_i \mapsto e_i$ définit bien un morphisme injectif de +$S$ dans $R$ dont l'image est la sous-algèbre de $R$ formée des +polynômes totalement symétriques. + +On gradue $R$ par le degré total : la graduation induite sur $S$ +s'obtient en donnant à chaque $E_i$ le degré $i$. + +\XXX +\end{proof} + \begin{proposition2}\label{relations-algebre-de-decomposition-universelle} Soit $k$ un corps et $f \in k[X]$ un polynôme unitaire, disons $f = X^d + a_1 X^{d-1} + \cdots + a_d$. On considère l'idéal $I$ de |