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.

Are there any commutative rings in which no nonzero prime ideal is finitely generated?

I feel like the example (or proof of impossibility) ought to be obvious, but I'm not seeing it.

share|improve this question
1  
Fields, but that's just vacuously true. I suppose you want to discount those? –  Casteels Sep 1 at 5:27

1 Answer 1

up vote 4 down vote accepted

The standard example is $R := k[x_1, x_2, \ldots]/(x_1^2, x_2^2, \ldots)$. Then $R$ has a single prime ideal $\mathfrak{m} = (x_1, x_2, \ldots)$ which is not finitely generated ($\mathfrak{m}$ is the only prime since it is maximal, but every prime ideal of $R$ must contain $x_1^2, x_2^2, \ldots$ and hence $\mathfrak{m}$).

share|improve this answer
2  
Man, I'm pretty sure I've asked questions before where that was the relevant example. I just need to get that ring tattooed on my arm or something... –  Daniel McLaury Sep 1 at 7:21
    
I generally am not very fond of tattoos, but in your case I'll make an exception! –  Georges Elencwajg Sep 2 at 10:20

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.