Generalized umbrella rings (Q2459981): Difference between revisions

The authors extend the concept of umbrella rings, first introduced by \textit{W. Vasconcelos} [Proc. Am. Math. Soc. 35, 381--386 (1972; Zbl 0254.13017)]. They define a \textit{generalized umbrella ring} to be a regular coherent local ring \(R\) such that the maximal ideal is finitely-generated and all non-finitely-generated prime ideals of \(R\) are contained in every principal prime ideal of the ring. (Recall that a ring is coherent if every finitely-generated ideal is finitely-presented, and a ring is stably coherent if for every positive integer \(n\) the polynomial ring in \(n\) variables is coherent.) The authors provide several examples of generalized umbrella rings and prove the following: For any natural numbers \(s \geq t \geq 1\) there exists a generalized umbrella ring \(R\) such that the weak global dimension, and the weak Krull dimension, of \(R\) is \(t\), and the Krull dimension of \(R\) is \(s\). The authors also show that every generalized umbrella ring is stably coherent, and that if \(R\) is a generalized umbrella ring with weak global dimension two, then every finitely-generated projective module over \(R[x]\) is free. Some additional results are that \(R(x)\) is a coherent GCD domain when \(R\) is a generalized umbrella ring, and the localization \(R_{Q}\) is a valuation ring if \(R\) is a generalized umbrella ring with maximal ideal \(\mathfrak m\), \(Q \neq \mathfrak m\) is a non-zero prime ideal, and the weak global dimension of \(R\) is two.