<p>Let <i>R</i> ⊂ <i>S</i> be an extension of integral domains. We recall that <i>R</i> ⊂ <i>S</i> satisfies the height condition if, for every prime ideal <i>Q</i> of <i>S, ht</i><sub><i>s</i></sub>(<i>Q</i>) = <i>ht</i><sub><i>R</i></sub>(<i>Q</i> ⋂ <i>R</i>). Several characterizations of such extensions are given. For example, we prove that if there exists a finite maximal chain of rings from <i>R</i> to <i>S</i>, and <i>R</i> is integrally closed in <i>S</i>, then <i>R</i> ⊂ <i>S</i> satisfies the height condition. The second purpose is to introduce and study CH-pairs. A pair (<i>R, S</i>) is called the CH-pair if the extension <i>R</i> ⊂ <i>T</i> satisfies the height condition for each intermediate ring <i>T</i> between <i>R</i> and <i>S</i>. When <i>R</i> is a field it is shown that the pair (<i>R, S</i>) is a CH-pair if and only if <i>S</i> is a field algebraic over <i>R</i>. We also establish that (<i>R, S</i>) is a CH-pair if and only if <i>R</i> ⊆ <i>R</i>* satisfies the height condition and (<i>R</i>*, <i>S</i>) is a normal pair, where <i>R</i>* is the integral closure of <i>R</i> in <i>S</i>. Further consequences are also provided.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Integral domain extensions with the height condition

  • Nabil Zeidi

摘要

Let RS be an extension of integral domains. We recall that RS satisfies the height condition if, for every prime ideal Q of S, hts(Q) = htR(QR). Several characterizations of such extensions are given. For example, we prove that if there exists a finite maximal chain of rings from R to S, and R is integrally closed in S, then RS satisfies the height condition. The second purpose is to introduce and study CH-pairs. A pair (R, S) is called the CH-pair if the extension RT satisfies the height condition for each intermediate ring T between R and S. When R is a field it is shown that the pair (R, S) is a CH-pair if and only if S is a field algebraic over R. We also establish that (R, S) is a CH-pair if and only if RR* satisfies the height condition and (R*, S) is a normal pair, where R* is the integral closure of R in S. Further consequences are also provided.