# The Stacks Project

## Tag 00JS

Lemma 10.56.6. Suppose $S$ is a graded ring, $\mathfrak p_i$, $i = 1, \ldots, r$ homogeneous prime ideals and $I \subset S_{+}$ a graded ideal. Assume $I \not\subset \mathfrak p_i$ for all $i$. Then there exists a homogeneous element $x\in I$ of positive degree such that $x\not\in \mathfrak p_i$ for all $i$.

Proof. We may assume there are no inclusions among the $\mathfrak p_i$. The result is true for $r = 1$. Suppose the result holds for $r - 1$. Pick $x \in I$ homogeneous of positive degree such that $x \not \in \mathfrak p_i$ for all $i = 1, \ldots, r - 1$. If $x \not\in \mathfrak p_r$ we are done. So assume $x \in \mathfrak p_r$. If $I \mathfrak p_1 \ldots \mathfrak p_{r-1} \subset \mathfrak p_r$ then $I \subset \mathfrak p_r$ a contradiction. Pick $y \in I\mathfrak p_1 \ldots \mathfrak p_{r-1}$ homogeneous and $y \not \in \mathfrak p_r$. Then $x^{\deg(y)} + y^{\deg(x)}$ works. $\square$

The code snippet corresponding to this tag is a part of the file algebra.tex and is located in lines 13002–13009 (see updates for more information).

\begin{lemma}
Suppose $S$ is a graded ring, $\mathfrak p_i$, $i = 1, \ldots, r$
homogeneous prime ideals and $I \subset S_{+}$ a graded ideal.
Assume $I \not\subset \mathfrak p_i$ for all $i$. Then there
exists a homogeneous element $x\in I$ of positive degree such
that $x\not\in \mathfrak p_i$ for all $i$.
\end{lemma}

\begin{proof}
We may assume there are no inclusions among the $\mathfrak p_i$.
The result is true for $r = 1$. Suppose the result holds for $r - 1$.
Pick $x \in I$ homogeneous of positive degree such that
$x \not \in \mathfrak p_i$ for all $i = 1, \ldots, r - 1$.
If $x \not\in \mathfrak p_r$ we are done. So assume $x \in \mathfrak p_r$.
If $I \mathfrak p_1 \ldots \mathfrak p_{r-1} \subset \mathfrak p_r$
then $I \subset \mathfrak p_r$ a contradiction.
Pick $y \in I\mathfrak p_1 \ldots \mathfrak p_{r-1}$ homogeneous
and $y \not \in \mathfrak p_r$. Then $x^{\deg(y)} + y^{\deg(x)}$ works.
\end{proof}

There are no comments yet for this tag.

There are also 6 comments on Section 10.56: Commutative Algebra.

## Add a comment on tag 00JS

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the lower-right corner).