No label defined (Q4948765)

Let \(D\) be an integral domain and let \(I_v\) denote the divisorial ideal generated by the ideal \(I\) of \(D\). Then \(D\) is called a \(v\)-multiplication ring if its set of finitely generated (f.g.) divisorial ideals is a group under the multiplication given by \(I_v\times J_v=(IJ)_v\). A non-zero prime ideal \(P\) of the \(v\)-multiplication ring \(D\) is called a PF-prime ideal if \(\bigcup\{I_v:I\) is a f.g. ideal, \(I\subseteq P\}\) is a proper ideal of \(D\). The PF-dimension of \(D\), denoted by PF-dim\((D)\), is the length of a longest chain of PF-prime ideals of \(D\), or infinity if no such chain exists. Generalizing a result on GCD-domains by \textit{P. Sheldon} [Can. J. Math. 26, 98-107 (1974; Zbl 0268.13016)], the authors establish a one-to-one correspondence between the PF-prime ideals of a \(v\)-multiplication ring \(D\) and the prime filters of its Lorenzen group \(\Lambda(G)\), where \(G\) is the group of divisibility of \(D\). They also show that if \(D\) is a \(v\)-multiplication ring then so, too, is the polynomial ring \(D[x]\) and PF-dim\((D[x])= \text{PF-} \dim(D)\).