Maximal non-treed subring of its quotient field (Q2354563)

Among other results, the author shows that if \(R\) is a maximal non-treed subring of a field \(K\), then \(R\) is local and \(K=\text{ qf }R\). He characterizes such rings as follows: Let \(R\) be a non-treed domain with integral closure \(\overline R\). Then the following conditions are equivalent, provided \(D=\overline R\) in (2): {\parindent=6mm \begin{itemize}\item[(1)] \((R,m)\) is a maximal non-treed subring of its quotient field; \item[(2)] \(D\) is a semi-local Prüfer domain with two maximal ideals \(M,N\) such that \(M\cap N= m\), and there is no field lying properly between \(R/m\) and \(D/M\times D/N\). \item[(3)] \(R\) has a non-local minimal overring. \end{itemize}} Moreover, if a domain \(D\) satisfies condition (2), then \(D=\overline R\), and the following two additional conditions hold: {\parindent=6mm \begin{itemize}\item[(i)] There are two incomparable prime ideals \(P,Q\) such that \(P\subsetneq M\) and \(Q\subsetneq N\); \item[(ii)] \(R/m \subsetneq D/M\) and \(R/m \subsetneq D/N\) are algebraic field extensions. \end{itemize}} Conversely, if conditions (2), (i) and (ii) are satisfied for an integral domain \(D\), then \(D=\overline R\) (so conditions (1) and (2) are also satisfied), and \(R\) is the pullback ring \((D,m,R/m)\).