From c81170d3f059037d865d7a164f50c71cd7ddbbab Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Sun, 6 Jun 2010 23:29:48 +0200
Subject: =?UTF-8?q?Gr=C3=B6bner=20bases=20and=20elimination.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 notes-geoalg.tex | 24 +++++++++++++++++++++++-
 1 file changed, 23 insertions(+), 1 deletion(-)

(limited to 'notes-geoalg.tex')

diff --git a/notes-geoalg.tex b/notes-geoalg.tex
index 00c8c6d..236ae9a 100644
--- a/notes-geoalg.tex
+++ b/notes-geoalg.tex
@@ -2783,7 +2783,7 @@ X$ et $e = \dim Z$.  Alors $e \geq d$, et de plus :
 
 
 %
-\subsection{L'image d'un morphisme}
+\subsection{L'image d'un morphisme}\label{image-of-a-morphism}
 
 Si $X \buildrel f\over\to Y$ est un morphisme entre variétés
 quasiprojectives et $Y' \subseteq Y$ un fermé ou un ouvert (ou
@@ -3674,6 +3674,28 @@ ordre).
 \end{prop}
 
 
+%
+\subsection{Bases de Gröbner et élimination}
+
+\begin{prop}
+Soit $I$ un idéal de $k[t_1,\ldots,t_d]$ et $s\leq d$ : si
+$f_1,\ldots,f_r$ est une base de Gröbner de $I$ pour
+l'ordre $\mathrel{\preceq_{\mathtt{lex}}}$ (où on est convenu que $t_1
+\preceq t_2 \preceq \cdots \preceq t_d$), alors ceux des $f_i$ qui
+appartiennent à $k[t_1,\ldots,t_s]$ forment une base de Gröbner de $I
+\cap k[t_1,\ldots,t_s]$.
+\end{prop}
+
+\begin{prop}
+Soit $I$ un idéal de $k[t_1,\ldots,t_d]$ et $s \leq d$.  Alors $V(I
+\cap k[t_1,\ldots,t_s])$ est l'adhérence de Zariski dans
+$\mathbb{A}^s$ de la projection (c'est-à-dire l'image au sens
+de \ref{image-of-a-morphism} par le morphisme $\mathbb{A}^d \to
+\mathbb{A}^s$ qui projette sur les $s$ premières coordonnées
+c'est-à-dire $(x_1,\ldots,x_d) \mapsto (x_1,\ldots,x_d)$) de $V(I)$.
+\end{prop}
+
+
 
 %
 %
-- 
cgit v1.2.3

