Let $S = \sum_{n \in \mathbb{Z}} S_n$ be a commutative graded ring. Let $I$ be a homogeneous ideal of $S$. Let $J$ be the radical of $I$, i.e. $J = \{x \in S| x^n \in I$ for some $n > 0\}$. Is $J$ a homogeneous ideal?
Is the radical of a homogeneous ideal of a graded ring homogeneous?
-
0possible duplicate of [the radical of a monomial ideal is also monomial](http://math.stackexchange.com/questions/125907/the-radical-of-a-monomial-ideal-is-also-monomial) The minor difference is that that post is concerned with the grading of polynomials. – 2012-11-15
-
0@rschwieb I don't see how to derive an answer for my question from the one you linked. – 2012-11-15
-
0To someone who voted to close, please explain the reason for the vote to close. – 2012-11-15
-
0What that person is calling a "monomial ideal" is just a homogeneous ideal in the graded ring of polynomials. – 2012-11-15
-
0@rschwieb But your answer is much longer than Sanchez'. – 2012-11-15
-
0To someone who voted to close, if you have no proper reason to vote to close, please reset the vote. Otherwise please explain the reason. – 2012-11-15
-
2The answer I gave is similar except with details. Besides, it also proves it for $\mathbb{Z}$ graded rings. I see Sanchez's answer is fine for $\mathbb{N}$ graded rings. – 2012-11-16
-
0@rschwieb Let $S = \mathbb{Z}[x]$ be the polynomial ring over $\mathbb{Z}$. The OP of the other thread means by monomials elements of the form $x^a$. So, for example, $(2x)$ is a homogeneous ideal, but not a monomial ideal of $S$. – 2012-11-16
-
1@rschwieb: Sanchez's answer (which I presume is the answer which is currently selected) also works for $\mathbb{Z}$-graded rings, since any given element has only finitely many homogenous components. – 2016-08-16
-
2@IngoBlechschmidt Four years later, I have no idea why I thought it didn't work for $\Bbb Z$-grading. Maybe I thought there was something about powers of elements with negative grades that could interfere. I agree with you. \ _(ツ)_/¯ – 2016-08-16
2 Answers
Yes. Let $x^n \in I$. Take the highest graded piece $x_k$ of $x$, then it's clear by looking at degrees that $x_k^n \in I$, i.e. $x_k \in J$. Now $x-x_k$ is again in $J$ so we can repeat the process to see that components of $x$ in each degree all lie in $J$.
-
0Could you please explain why $x_{k}^{n}\in I$? I think that $x^{n}=\sum_{i}u_{i}$, $u_{i}$ has degree i then compare the highest degree of this component to $x_{k}^{n}$, they have to be equal. Is that true? – 2017-09-20
-
0For people who will chance upon this in the future: yes. Since $x^n_k$ is the degree-$n$ homogeneous part of $x^n \in I$, by the definition of a homogeneous ideal, $x^n_k \in I$. – 2018-09-03
I will take for granted the following fact two facts:
(1) A homogeneous ideal $I$ in $S$ is prime if and only if for all homogeneous elements $a,b\in S$ with $ab\in I$, either $a\in I$ or $b\in I$.
(2) An intersection of homogeneous ideals is homogeneous (this is obvious from the characterization of homogeneity as the property of containing all the homogeneous components of all elements).
Now, for a prime ideal $\mathfrak{p}$, we let $\mathfrak{p}^h$ denote the ideal of $S$ generated by the homogeneous elements of $\mathfrak{p}$. It is visibly homogeneous, and it is prime by (1). The radical of an ideal $I$ is the intersection of the prime ideals containing $I$, and if $I$ is homogeneous, this coincides with the intersection of all homogeneous prime ideals containing $I$. It is clear that, regardless of the homogeneity of $I$, the first intersection is contained in the second. Conversely, suppose that $a\in S$ lies in every homogeneous prime ideal containing $I$. If $\mathfrak{p}$ is any prime containing $I$, then $\mathfrak{p}^h\subseteq\mathfrak{p}$ is a homogeneous prime which also contains $I$ (because it contains the homogeneous elements of $I$ and $I$ is generated by these elements by assumption). So $r\in\mathfrak{p}^h\subseteq\mathfrak{p}$. Thus $\sqrt{I}$ is homogeneous by (2).
Alternatively, if you're willing to invoke Zorn's lemma, which implies that every prime ideal is contained in a minimal prime ideal, then the radical of $I$ is the intersection of the prime ideals minimal over $I$, and since such a prime ideal $\mathfrak{p}$ contains $\mathfrak{p}^h$, also a prime containing $I$, every prime ideal minimal over a homogeneous ideal like $I$ must be homogeneous itself.
Actually, the characterization of the radical of $I$ as the intersection of prime ideals containing $I$ already uses Zorn's lemma, so one might as well use the shorter, second argument...unless you want to avoid Zorn altogether, in which case my answer is inadmissible.
-
0+1 This is nice. However, I prefer the Sanchez' answer. This is just my personal taste. – 2012-11-15
-
0Thanks. Just out of curiosity, by any chance is part of your preference due to the fact that my answer uses the axiom of choice? – 2012-11-15
-
0Sort of. Generally I prefer constructive proofs. – 2012-11-15
-
0Yeah. I like Sanchez' proof a lot too. – 2012-11-15
-
3I prefer this proof by far. Gives much more insight when one learns algebraic geometry. +1 – 2014-09-08