1
$\begingroup$

In this post I set out to prove an equation holding in a ring $R$ graded over $\mathbb{Z}$ or $\mathbb{N}$.

The equation was: $\sqrt{J^\ast}=(\sqrt{J})^\ast$, where $J$ is an ideal of $R$, $J^\ast$ is the subideal of $J$ generated by homogeneous elements, and $\sqrt{J}$ denotes the intersection of all prime ideals containing $J$.

The containment $\supseteq$ is obviously valid for a grading over any semigroup.

The other containment is what I want to ask about. Let $x=\sum x_g$ be the decomposition of $x$ into homogeneous elements. As you can see, my proof pivots on being able to say that at least one of the homogeneous terms of $x^n$ is just $(x_g)^n$. Using this, a contradiction can be produced. In the case of that post, it was possible to isolate such a term because the well behaved ordering of $\mathbb{Z}$ and $\mathbb{N}$.

So my question is:

Does the equation break down for gradings over general semigroups?

If anybody can see how the proof can be streamlined to avoid that problem, or if anybody has an example of the equation breaking down, I would love to see. Thanks!

  • 0
    @YACP People will see the length of my post and the six minute separation and correctly conclude that you edited your post before I finished editing mine. Even if I had been aware of the edit you made, it would hardly be worth copying. I would have simply stopped writing my own post and saved the time. Anyhow, I think we've about spent this thread. I'll do my best to forget it. I wish you would try too, but your comments make it sound like you intend to be sore forever. Happy editing!2012-11-26

2 Answers 2

2

If $\sqrt{J^\ast}=(\sqrt{J})^\ast$ for all ideals $J$ of $R$, in particular we get that the radicals of homogeneous ideals of $R$ are also homogeneous. But, in general, this is false and a very simple example can be found here.

  • 0
    I've removed a couple of off-topic comments2013-01-03
0

For the benefit of future readers, the examples hidden in the comments of the link provided by YACP are reproduced here.

The first example was given by darij grinberg:

$R=\Bbb{F}_2[x]/(x^2+1)$ can be graded with the additive group $\Bbb{Z_2}$ giving $x$ degree $\overline{1}$. It is clear that $x+1$ is in the radical of the homogeneous ideal $\{0\}$.

Later on in the comments a characteristic zero example is given by quim:

"Let $N$ be the monoid formed by the nonnegative integers and an element $i$ such that $i+n=n+1$ for all $n>0$. Give to $K[x,y]$ the grading in which elements of $K$ have degree 0, $x$ has degree 1 and $y$ has degree $i$ . Then $(x^2+2xy+y^2)$ is homogeneous of degree 2 and its radical $(x+y)$ is not homogeneous."