Order theoretic and topological characterizations of the divided spectrum of a ring (Q2330480)

Let \(R\) be a commutative ring with identity, Spec\((R)\) be the prime spectrum of \(R\) equipped with the Zariski topology, and \(\mathcal{D}iv(R)\) be the set of all divided prime ideals of \(R\). Clearly, \(\mathcal{D}iv(R) \subseteq\) Spec\((R)\), and hence \(\mathcal{D}iv(R)\) becomes a topological space if it is endowed with the topology inherited by Spec\((R)\). In this paper, the authors introduced the notions of divspectral spaces and divspectral sets; a poset is a divspectral set if it is order-isomorphic to \((\mathcal{D}iv(R), \subseteq)\), and a divspectral space is a topological space which is homeomorphic to \(\mathcal{D}iv(R)\) for some ring \(R\). Then, among other things, they showed that\begin{itemize} \item[(1)] a poset \((X, \leq)\) is divspectral (if and) only if there is a valuation domain \(V\) such that \((X, \leq)\) is order-isomorphic to \((\)Spec\((V), \subseteq)\) and \item[(2)] if \((X, \mathcal{T})\) is a topological space and \(\leq\) is the quasi-order defined by \(\mathcal{T}\) (i.e., \(x \leq y \Leftrightarrow y \in \overline{\{x\}}\) for all \(x,y \in X\)), then the followings are equivalent: \begin{itemize} \item[(i)] \(X\) is a divspectral space, \item[(ii)] \(\mathcal{T}\) is spectral, i.e., \((X, \mathcal{T})\) is homeomorphic to some Spec\((R)\), and \(\leq\) is a linear order, and \item[(iii)] \((X, \mathcal{T})\) is homeomorphic to the prime spectrum of a valuation domain.\end{itemize}\end{itemize}