summaryrefslogtreecommitdiffstats
path: root/notes-geoalg.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2010-06-06 23:24:29 +0200
committerDavid A. Madore <david+git@madore.org>2010-06-06 23:24:29 +0200
commit4d6cf1527d3fbbc8e5329200b4612ab12aa32417 (patch)
treec102ecf8f8b08e10f7d53351af282f4c8c22f0ee /notes-geoalg.tex
parente24f423d553f98750d5f7ffea2b0e159274ef0d4 (diff)
downloadmdi349-4d6cf1527d3fbbc8e5329200b4612ab12aa32417.tar.gz
mdi349-4d6cf1527d3fbbc8e5329200b4612ab12aa32417.tar.bz2
mdi349-4d6cf1527d3fbbc8e5329200b4612ab12aa32417.zip
Reduced Gröbner bases.
Diffstat (limited to 'notes-geoalg.tex')
-rw-r--r--notes-geoalg.tex28
1 files changed, 28 insertions, 0 deletions
diff --git a/notes-geoalg.tex b/notes-geoalg.tex
index 6d90bbd..00c8c6d 100644
--- a/notes-geoalg.tex
+++ b/notes-geoalg.tex
@@ -3645,6 +3645,34 @@ tous les $\rho_{i,j}$ sont tous nuls, et le critère précédent permet
de dire qu'on a bien une base de Gröbner.
\end{proof}
+\medbreak
+
+\textbf{Bases de Gröbner réduites.}
+
+\begin{defn}
+Une base de Gröbner $f_1,\ldots,f_r$ est dite \textbf{réduite}
+lorsque, pour $i\neq j$, le monôme du terme $\init(f_i)$ ne divise
+aucun des monômes apparaissant dans $f_j$, et si, de plus, chacun des
+termes $\init(f_i)$ est unitaire (=la constante devant le monôme
+est $1$).
+\end{defn}
+
+On peut facilement calculer une base de Gröbner réduite à partir d'une
+base de Gröbner, en soustrayant, pour chaque $f_j$, chaque terme
+divisible par un des $\init(f_i)$ (et en commençant par le plus grand
+pour l'ordre monomial), le multiple de $f_i$ qui permet de l'annuler,
+et en répétant cette opération aussi souvent que nécessaire (il est
+clair que cela termine). Il faut, bien sûr, retirer tous les éléments
+nuls, puis normaliser à $1$ la constante devant le monôme initial de
+chaque $f_i$.
+
+\begin{prop}
+Pour un idéal $I$ de $k[t_1,\ldots,t_d]$ et un ordre
+admissible $\preceq$, il existe une unique base de Gröbner réduite (on
+l'appelle donc \emph{la} base de Gröbner réduite de $I$ pour cet
+ordre).
+\end{prop}
+
%