Dp-minimal integral domains (Q2130559)

The authors study dp-minimal integral domains (the special case of division rings having been settled by \textit{N. Hempel} and \textit{D. Palacín} [Proc. Am. Math. Soc. 146, No. 2, 803--817 (2018; Zbl 1477.03135)], showing that those are fieds). It is first shown, in somewhat greater generality, that such rings must be local (Corollary 2.5). Then they proceed to showing that if \(R\) is a dp-minimal integral domain then the localisation, \(R_\mathfrak{p}\), of \(R\) at any non-maximal prime ideal \(\mathfrak{p}\) is a valuation ring. Further, (Theorem 4.1) it is shown that \(R\) itself is a (henselian) valuation ring precisely when either \(R/\mathcal M\) is infinite, or \(R/\mathcal M\) is finite and \(\mathcal M\) is a principle ideal (where \(\mathcal M\) is the maximal ideal). In equi-characteristic the first of the above conditions is equivalent to \(R\) containing, as a subfield, either a copy of \(\mathbb Q\) or a copy of \(\mathbb F_p^{alg}\). The authors study, further, externally definable valuation rings (of the fraction field of a) dp-minimal domain, and the spectra of such domains (Sections 5 and 6, respectively). The results include, e.g., the fact than any externally definable valuation ring is comparable (by inclusion) to \(R\) (Corollary 5.6), and that the spectrum of \(R\) is linearly ordered by inclusion (Lemma 6.1).