Some remarks on Prüfer \(\bigstar\)-multiplication domains and class groups (Q2470402)

This paper deals with the Prüfer \(*\)-multiplication domains and their \(*\)-class groups, and it is divided in two parts. Recall that an integral domain \(D\) (with quotient filed \(K\)) is called a Prüfer \(*\)-multiplication domain (for short \(P*MD\) if every nonzero finitely generated ideal is \(*_{f}\)-invertible, where \(*_{f}\) is the (semi)star operation of finite type associated to the (semi)star operation \(*\)). \noindent The main result of the first part, which is a generalization of Gauss-Gilmer-Tsang Theorem, asserts that if \(D\) is an integral domain, \(X\) is an indeterminate over \(D\) and \(*\) is a stable semistar operation of finite type on \(D\), then the following statements are equivalent: (i) \(c(fg)^{*}=(c(f)c(g))^{*}\) for all \(0\not =f, g\in K[X]\), (ii) \(D_{M}\) is a valuation domain for all \(M\in QMax^{*}(D)\), \((iii)\) \(D\) is a \(P*MD\). In the particular case where \(*=d\) is the trivial (semi)star operation on \(R\), we get the Gauss-Gilmer-Tsang Theorem: A domain \(R\) is a Prüfer domain iff \(c(fg)=c(f)c(g)\) for all \(0\not=f, g\in K[X]\). Among other applications, we cite the following nice result concerning the well-known class of \(PvMD's\), that is, an integral domain \(R\) is a \(PvMD\) iff \(c(fg)^{w}=(c(f)c(g))^{w}\) for all \(0\not=f, g\in K[X]\). In the second part, the authors computed the \(*\)-class groups for some useful star operations. For instance, they proved that \(Cl^{\tilde{*}}(D)=Cl^{*_{f}}(D)\) for any star operation \(*\) on \(D\). In particular \(Cl^{w}(D)=Cl^{t}(D)\). Also for the \(v\)-operation on a valuation domain \(V\) with maximal ideal \(M\), they proved that if \(P \subset M\) is a prime ideal of \(V\), then \(Cl^{v}(V)\cong Cl(V/P)\) and \(Cl^{v}(V)=0\) if \(M\) is principal. Other applications and examples are given.