The \(D + E[\varGamma^*]\) construction from Prüfer domains and GCD-domains (Q650852)

Let \(D\subsetneq E\) be an extension of integral domains, \(K\) be the quotient field of \(D\), \(\Gamma\) be a nonzero torsion-free grading monoid with \(\Gamma\cap-\Gamma=\{0\}\), \(\Gamma^{*}=\Gamma-\{0\}\), \(E[\Gamma]\) be the semigroup ring of \(\Gamma\) over \(E\) and \(D+E[\Gamma^{*}]=\{f\in E[\Gamma]|f(0)\in D\}\) be the composite semigroup ring. The main purpose of the paper under review is to show the following: (1) \(D+E[\Gamma^{*}]\) is a Prüfer domain if and only if \(D\) is a Prüfer domain, \(\Gamma\) is a Prüfer submonoid of \(\mathbb{Q}\) the field of rational numbers and \(E=K\). (2) \(D+E[\Gamma^{*}]\) is a GCD-domain if and only if \(D\) is a GCD-domain, \(\Gamma\) is a valuation semigroup and \(E=D_S\) for some splitting set \(S\) of \(D\).