Some finiteness conditions on the set of overrings of an integral domain

Abstract

Let <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper D"> <mml:semantics> <mml:mi>D</mml:mi> <mml:annotation encoding="application/x-tex">D</mml:annotation> </mml:semantics> </mml:math> </inline-formula> be an integral domain with quotient field <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper K"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding="application/x-tex">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and integral closure <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper D overbar"> <mml:semantics> <mml:mover> <mml:mi>D</mml:mi> <mml:mo accent="false"> ¯ </mml:mo> </mml:mover> <mml:annotation encoding="application/x-tex">\overline D</mml:annotation> </mml:semantics> </mml:math> </inline-formula> . An overring of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper D"> <mml:semantics> <mml:mi>D</mml:mi> <mml:annotation encoding="application/x-tex">D</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is a subring of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper K"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding="application/x-tex">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> containing <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper D"> <mml:semantics> <mml:mi>D</mml:mi> <mml:annotation encoding="application/x-tex">D</mml:annotation> </mml:semantics> </mml:math> </inline-formula> , and <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper O left-parenthesis upper D right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mi>D</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {O}(D)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> denotes the set of overrings of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper D"> <mml:semantics> <mml:mi>D</mml:mi> <mml:annotation encoding="application/x-tex">D</mml:annotation> </mml:semantics> </mml:math> </inline-formula> . We consider primarily two finiteness conditions on <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper O left-parenthesis upper D right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mi>D</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {O}(D)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> : (FO), which states that <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper O left-parenthesis upper D right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mi>D</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {O}(D)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is finite, and (FC), the condition that each chain of distinct elements of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper O left-parenthesis upper D right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mi>D</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {O}(D)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is finite. (FO) is strictly stronger than (FC), but if <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper D equals upper D overbar"> <mml:semantics> <mml:mrow> <mml:mi>D</mml:mi> <mml:mo>=</mml:mo> <mml:mover> <mml:mi>D</mml:mi> <mml:mo accent="false"> ¯ </mml:mo> </mml:mover> </mml:mrow> <mml:annotation encoding="application/x-tex">D=\overline {D}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> , each of (FO) and (FC) is equivalent to the condition that <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper D"> <mml:semantics> <mml:mi>D</mml:mi> <mml:annotation encoding="application/x-tex">D</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is a Prüfer domain with finite prime spectrum. In general <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper D"> <mml:semantics> <mml:mi>D</mml:mi> <mml:annotation encoding="application/x-tex">D</mml:annotation> </mml:semantics> </mml:math> </inline-formula> satisfies (FC) iff <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper D overbar"> <mml:semantics> <mml:mover> <mml:mi>D</mml:mi>