Polynomial rings over pseudovaluation rings. (Q925447)

Let \(R\) be a ring with unit element, and let \(\sigma\) be an automorphism of \(R\). Then \(R\) is called a pseudo-valuation ring (PVR) if every prime ideal \(P\) of \(R\) is strongly prime, that is, if \(aP\subseteq bR\) or \(bR\subseteq aP\) for all \(a,b\in R\); \(R\) is called \(\sigma\)-divided (divided) if every prime ideal of \(R\) is comparable, under inclusion, to every \(\sigma\)-stable ideal (ideal). Suppose that \(x\not\in P\) for every prime ideal \(P\) of the skew polynomial ring \(R[x,\sigma]\). Then \(R[x,\sigma]\) is a PVR or \(\sigma\)-divided whenever \(R\) is a commutative PVR or \(\sigma\)-divided, respectively. Similar results hold for the Ore extension \(R[x,\delta]\) of a commutative Noetherian \(\mathbb{Q}\)-algebra \(R\) with derivation \(\delta\): if \(R\) is a PVR or divided, then so is \(R[x,\delta]\). The paper concludes with an open question: If \(R\) is a commutative PVR with an automorphism \(\sigma\) and a \(\sigma\)-derivation \(\delta\), does it follow that \(R[x,\sigma,\delta]\) is a PVR?