5
$\begingroup$

In my research I ended up trying to prove some properties of integral domains such that their spectrum is a totally ordered poset. Are there some nice (ubiqitous/natural) examples of such domains, which are not valuation domains? (Of course any local 1-dimensional domain is such, so non-noetherian almost perfect domains form a class of nice examples, so of higher Krull dimension?)

$\endgroup$
1
  • 2
    $\begingroup$ You might want to have a look at Propositions 12 and 13 in M. Hochster, Prime ideal structure in commutative rings, Trans. Amer. Math. Soc. 142 (1969), 43–60. $\endgroup$ Nov 26, 2014 at 22:39

2 Answers 2

5
$\begingroup$

A good source of such rings consist of the so-called "pseudo-valuation domains" of Hedstrom and Houston. A link to their original (1978) article is: http://projecteuclid.org/download/pdf_1/euclid.pjm/1102810151. Among other things in that article, they show the following facts that are relevant to your situation:

  1. Given any pseudo-valuation domain $R$, there is a unique valuation domain $V$ with $R \subseteq V \subseteq$ the fraction field of $R$, such that the map of prime spectra is an order isomorphism.

  2. If you happen to start with a valuation domain of the form $V=K+M$ ($K$ a field, $M$ the maximal ideal of $V$) -- a form that many valuation rings found in nature take -- then take any proper subfield $F$ of $K$ (assuming of course that $K$ isn't a prime field). The subring $R=F+M$ will then be a pseudo-valuation ring whose spectrum is order-isomorphic to that of $V$.

$\endgroup$
0
3
$\begingroup$

If W is a totally ordered poset, k is a field, Xi: i∈W are indeterminates, and R=k[Xi, Xi/Xjn:i,j∈W, i<j, n≥0](Xi:i∈W), then R is a local domain with Spec(R)={(0)}∪{(Xi, Xi/Xjn:i∈V, i<j, n≥0)}:V=initial segment of W. Thus any non-limit ordinal is the (poset of a) spectrum of a local domain. Note R is a valuation domain with value group ⊕i∈Wℤ so it doesn't answer all requirements in the original question.

From W=ℚ we get the totally ordered poset: {(-∞,0)} ∪ (ℝ-ℚ)X{0} ∪ ℚX{0,1} ∪ {(∞,0)} (where 2nd component 0 corresponds to an open initial segment interval (-∞,i) and 1 corresponds to closed initial segment interval (-∞,i])

From W=ℝ we get the totally ordered poset: {(-∞,0)} ∪ ℝX{0,1} ∪ {(∞,0)}

$\endgroup$
2
  • $\begingroup$ Do you have a reference for the fact that $R$ is a valuation domain? It seems clear how to prove it, but I was wondering if this exists anywhere in print. $\endgroup$ Nov 28, 2014 at 2:40
  • $\begingroup$ @NeilEpstein I don't know a reference. $\endgroup$ Nov 28, 2014 at 15:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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