Posted by Jason Polak on 30. December 2017 · Write a comment · Categories: commutative-algebra · Tags: ,

Imposing structure on the poset of prime ideals of a ring $R$ is one way to gain a hold onto its structure. The poset of prime ideals of $R$ is simply a fancy term for the set of prime ideals of $R$, partially ordered by inclusion. Usually this set is not totally ordered: in the ring of integers $\Z$ for instance, the prime ideals $(2)$ and $(3)$ cannot be compared by inclusion. It seems to me that requiring the poset of primes to be totally ordered is a strict condition indeed.

Here is one type of domain in which the prime ideals are totally ordered: the valuation domain.
More »