Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Example of a ring such that the nil radical of it is not nilpotent. Please help me.

share|improve this question
1  
What have you tried so far? To get the best possible answers, you should explain what your thoughts on the problem are so far. That way, people won't tell you things you already know, and they can write answers at an appropriate level; also, people are much more willing to help you if you show that you've tried the problem yourself. –  Zev Chonoles Feb 6 '13 at 9:55
    
@Zev Chonoles I know that in a Noetherian ring the nil radical is nilpotent. Also, in a Artinian ring. Indeed, the ring is commutative with identity. –  aliakbar Feb 6 '13 at 9:59
1  
Do you know examples of non-Noetherian rings? Can you modify those examples so they have lots of nilpotents? Look at my answer for a hint. –  Zev Chonoles Feb 6 '13 at 10:00
add comment

2 Answers 2

up vote 3 down vote accepted

Hint:

  • The nilradical of $k[x]/(x^2)$ is the ideal $N=(x)$, and $N^2=(0)$, so $N$ is a nilpotent ideal.

  • The nilradical of $k[x,y]/(x^2,y^2)$ is the ideal $N=(x,y)$, and $N^3=(0)$, so $N$ is a nilpotent ideal.

  • ...

share|improve this answer
    
So consider $Z[x_{1},x_{2},...]$. Is it true? –  aliakbar Feb 6 '13 at 10:08
1  
The ring $\mathbb{Z}[x_1,x_2,\ldots]$ doesn't have any nilpotents; you need to take a quotient. Look again at how the rings were formed in my hint. –  Zev Chonoles Feb 6 '13 at 10:09
add comment

Take the polynomial ring $\mathbb K[x_i \mid i \in \mathbb N]$ in infinte variables. Then take the ideal $I=(x_i^i \mid i \in \mathbb N)$ the ring $\mathbb K[x_i \mid i \in \mathbb N]/I$ has for each $i \in \mathbb N$ a nilpotent element $\bar x_i$ which has nilpotence index $i$. In this ring the nilradical contain for each $i \in \mathbb N$ the element $\bar x_i$, but for every $k \in \mathbb N$ we have that $\bar x^k_{k+1} \ne 0$ is an element of the $k$-th power of the nilradical. So the nilradical isn't nilpotent.

share|improve this answer
3  
+1, Good example! LaTeX tip: use \mid instead of | for a separator, the spacing is different. See tex.stackexchange.com/q/498/228 –  Zev Chonoles Feb 6 '13 at 10:11
    
@ZevChonoles did that, thank you very much for the tip :) –  Giorgio Mossa Feb 6 '13 at 10:14
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.