Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I would like to know if it is always possible to find a one-dimensional ideal in a local commutative ring... actually I am interested in finding a curve through a point on a scheme (locally). If the ring is of finite dimension it should be obvious, but does anybody know about the situation in more general rings?

share|improve this question
    
I assume you mean "a local commutative ring in which not every prime ideal is maximal;" otherwise, Artinian local rings provide a finite-dimensional counterexample. –  Charles Staats Feb 2 '12 at 16:49
    
Also see mathoverflow.net/questions/75320/… –  Parsa Feb 4 '12 at 21:09
add comment

2 Answers

up vote 17 down vote accepted

Given your comment about curves I suppose by a one dimensional ideal you mean an ideal such that the ring mod this ideal is one-dimensional.

The answer is this: if you assume your ring to be noetherian yes, if not no.

Let $(A,m)$ be a local ring.

Case 1: $A$ is noetherian. Take the set of prime ideals other than $\mathfrak m$. By the noetherian assumption this set has a (possibly more than one) maximal element. Call that $\mathfrak p$. Then the quotient ring $A/ \mathfrak p$ is a local domain that has exactly two prime ideals, so it has dimension one.

Case 2: $A$ is not necessarily noetherian. Karl Schwede constructs an example in this paper that has a single infinite chain of prime ideals $(0)\subset \mathfrak p_1\subset \mathfrak p_2\subset \dots \subset \mathfrak m\subset A$. He does this to exhibit the scheme $(\mathrm{Spec} A)\setminus\mathfrak m$ as a scheme without a closed point, but it also works here. Since all the prime ideals of $A$ appear in that chain and there are infinitely many "above" any of them except $\mathfrak m$, this ring does not have a prime ideal "of dimension one". In fact taking any prime other than $\mathfrak m$ gives you an infinite dimensional quotient ring. This implies that if the quotient ring by any ideal is finite dimensional, then it has to be 0 dimensional: Take the quotient, if it has finite dimension then the only prime ideal it can have is the image of $\mathfrak m$ and hence its 0-dimensional.

share|improve this answer
add comment

The above answer says there is a ring such that for any nonmaximal prime ideal there is a nonmaximal prime ideal containing it. In fact valuation ring with infinite products of integers group as valuation group is an example. A paper about spectral space of commutative rings written by Hochster tells us there is also ring with spectral space which order just inverse the spectral space of a given ring. So there also exists a ring such that for any nonminimal prime ideal there exists another nonminimal prime ideal which is contained in it. That is there is a ring which has no prime with height 1.

share|improve this answer
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.