Flat underrings (Q1089387): Difference between revisions

Let R be an integral domain with quotient field K. It is proved that R is flat over each subring (resp., over each subring with quotient field K) if and only if either \(R=K\) or R is an overring of \({\mathbb{Z}}\). The preliminary work is couched somewhat more generally, in terms of doubly- generated subrings (or underrings) of R containing a given subring of R.