[Math] Is every poset the poset of prime ideals of a ring

ac.commutative-algebraposetsra.rings-and-algebras

The answer to this question, as it is, is trivially false, for one necessary condition is the existence of maximal element(s), i.e., maximal ideals exist and are prime.

My question was inspired from Exercise 1.8 of Atiyah-Macdonald's book in Commutative Algebra:

The set of prime ideals of a nonzero ring has minimal elements with respect to inclusion.

Thus the above is also a necessary condition. My question is if there are more necessary conditions which are also sufficient, i.e.,

Are there necessary and sufficient conditions that a poset must possess so that it is the poset of a ring's spectrum.

Answers (possibly partial answers) are welcome for both necessary and sufficient conditions as well as imposing restrictions on the ring. For example, the poset corresponding to Noetherian rings must obey the ACC. If the poset is a lattice, then the ring must be local. Do nice conditions occur assuming our ring is Artinian or a Dedekind domain?

Best Answer

Hochster answered this question in his thesis (by finding such conditions). See: Hochster, M. Prime ideal structure in commutative rings. Trans. Amer. Math. Soc. 142 1969 43–60.