On a theorem by Brewer (Q308138): Difference between revisions

Let \(R\) be a commutative ring with identity. An ideal \(I\) of \(R\) is called an SFT ideal if there exist a finitely generated ideal \(J\subseteq I\) and a positive integer \(k\) such that \(a^k\in J\) for each \(a\in I\). In Theorem 21 of his book [Power series over commutative rings. New York, Basel: Marcel Dekker, Inc (1981; Zbl 0476.13015)], \textit{J. W. Brewer} states that if \(M\) is a non SFT maximal ideal of \(R\), there exist an infinite ascending chain of prime ideals in the power series ring \(R[[X]]\), \(Q_0\subset Q_1\subset\ldots\) such that \(Q_n\cap R=M\) for each \(n\). Moreover, the height of \(M[[X]]\) is infinite. In this paper, the authors show that this theorem is false. They give two counter examples. In the first one there is a one dimensional ring \(R\) with non SFT maximal ideal \(M\) such that \(ht M[[X]]=0\) and there is no infinite ascending chain \((Q_n)\) of prime ideals in \(R[[X]]\) such that \(Q_n\cap R=M\) for each \(n\). In the second counter example, the authors give an infinite dimensional valuation domain \(V\) with non SFT maximal ideal \(M\) such that \(\mathrm{ht} M[[X]]\) is uncountably infinite without an infinite ascending chain \((Q_n)\) of prime ideals in \(V[[X]]\) such that \(Q_n\cap V=M\) for each \(n\).