On a theorem by Brewer

详细信息    查看全文

• 作者：Le Thi Ngoc Giau ^{ngocgiau@postech.ac.kr" class="auth_mail" title="E-mail the corresponding author} ; Byung Gyun Kang ; ^{bgkang@postech.ac.kr" class="auth_mail" title="E-mail the corresponding author}
• 关键词：13A15 ; 13C15 ; 13F25
• 刊名：Journal of Pure and Applied Algebra
• 出版年：2017
• 出版时间：January 2017
• 年：2017
• 卷：221
• 期：1
• 页码：36-44
• 全文大小：318 K

文摘

One of the most frequently referenced monographs on power series rings, “Power Series over Commutative Rings” by James W. Brewer, states in Theorem 21 that if M is a non-SFT maximal ideal of a commutative ring R   with identity, then there exists an infinite ascending chain of prime ideals in the power series ring a050646c45e341f4" title="Click to view the MathML source">R〚X〛$R〚X〛$, e601c6b157957629b804a1063e4f7" title="Click to view the MathML source">Q₀⊊Q₁⊊⋯⊊Q_n⊊⋯$Q_0⊊Q_1⊊\cdots ⊊Q_n⊊\cdots$ such that 98c614973fb6fcf092d3aa78" title="Click to view the MathML source">Q_n∩R=M$Q_n\cap R=M$ for each n  . Moreover, the height of ab8fd5db7afe94c878f0369" title="Click to view the MathML source">M〚X〛$M〚X〛$ is infinite. In this paper, we show that the above theorem is false by presenting two counter examples. The first counter example shows that the height of ab8fd5db7afe94c878f0369" title="Click to view the MathML source">M〚X〛$M〚X〛$ can be zero (and hence there is no chain e601c6b157957629b804a1063e4f7" title="Click to view the MathML source">Q₀⊊Q₁⊊⋯⊊Q_n⊊⋯$Q_0⊊Q_1⊊\cdots ⊊Q_n⊊\cdots$ of prime ideals in a050646c45e341f4" title="Click to view the MathML source">R〚X〛$R〚X〛$ satisfying 98c614973fb6fcf092d3aa78" title="Click to view the MathML source">Q_n∩R=M$Q_n\cap R=M$ for each n). In this example, the ring R   is one-dimensional. In the second counter example, we prove that even if the height of ab8fd5db7afe94c878f0369" title="Click to view the MathML source">M〚X〛$M〚X〛$ is uncountably infinite, there may be no infinite chain {Q_n}$\{Q_n\}$ of prime ideals in a050646c45e341f4" title="Click to view the MathML source">R〚X〛$R〚X〛$ satisfying 98c614973fb6fcf092d3aa78" title="Click to view the MathML source">Q_n∩R=M$Q_n\cap R=M$ for each n.