Prefer a chat interface with context about you and your work?
Universally catenarian domains of<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="$D + M$" id="E1"><mml:mi>D</mml:mi><mml:mo>+</mml:mo><mml:mi>M</mml:mi></mml:math>type, II
Let T be a domain of the form K + M , where K is a field and M is a maximal ideal of T . Let D be a subring of K such that R = D + M is universally catenarian. Then D is universally catenarian and K …