No label defined (Q4701983)

Let \(R\) be a commutative ring with total quotient ring \(K\). Also, let \(G\) be a torsion-free abelian group and \(S\subseteq G\) a subsemigroup of \(G\) containing 0 such that \(G\) is the quotient group of \(S\). \(R\) (respectively, \(S)\) is called completely integrally closed (CIC) if \(R\) (respectively, \(S)\) contains every \(x\in K\) (respectively, \(x\in G)\) for which there exists \(s\in R\) regular (respectively, \(s\in S)\) such that \(sx^n\in R\) (respectively, \(s+nx\in S)\) for each \(n\). If \(R\) is an integral domain, \textit{R. Gilmer} [``Commutative semigroup rings'' (1984; Zbl 0566.20050)] has shown that the semigroup ring \(R[X;S]\) is CIC iff both \(R\) and \(S\) are CIC. In the paper under review, the author extends this result to the case when \(R\) has zero-divisors. He shows that \(R[X;S]\) is CIC iff both \(R\) and \(S\) are CIC and \(R[X_1, \dots,X_n]\) is CIC for each \(n\leq \) the torsion-free rank of \(S\). He also proves that when \(K\) is von Neumann regular (e.g., if \(R\) is Noetherian and reduced), then \(R[X;S]\) is CIC iff both \(R\) and \(S\) are CIC.