From b3d4753c13c9e2a4338ea1589398c309247afecc Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Tue, 25 May 2010 17:25:20 +0200 Subject: A comment on irrelevant ideals. --- notes-geoalg.tex | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/notes-geoalg.tex b/notes-geoalg.tex index 7bf2739..0ff50d2 100644 --- a/notes-geoalg.tex +++ b/notes-geoalg.tex @@ -2156,6 +2156,19 @@ Si $k$ est un corps algébriquement clos : \end{itemize} \end{thm} +\begin{rmk} +Pour qu'un idéal homogène $I$ de $k[t_0,\ldots,t_d]$ contienne tous +les monômes à partir d'un certain degré total $\ell$ (c'est-à-dire, +qu'il soit irrelevant), il faut et il suffit qu'il contienne tous les +$t_i^n$ à partir d'un certain $n$. (En effet, un sens est trivial, et +pour l'autre sens, si $I$ contient tous les $t_i^n$, alors il contient +tout monôme de degré $(d+1)n$, puisqu'un tel monôme contient au moins +un $t_i$ à la puissance $n$.) Comme il n'y a qu'un nombre fini des +$t_i$, on peut aussi intervertir les quantificateurs : c'est encore la +même chose que de dire que pour chaque $i$, l'idéal $I$ contient une +certaine puissance $t_i^{n_i}$ de $t_i$. +\end{rmk} + % \subsection{Fonctions régulières sur l'espace projectif} -- cgit v1.2.3