Commutative Semigroup Rings with Two-Generated Ideals (Q4024903)

The authors characterize group rings and monoid rings with the two- generator property. Necessary and sufficient conditions for group rings and monoid rings to be Bass rings are also obtained. Proofs are given with complete details, with the aid of lemmas. In fact, one of the results established is the following: Let \(R\) be a ring for which maximal ideals have height one and let \(G\) be a finite abelian group of order \(m\neq 0\). The group ring \(R[G]\) has the two-generator property if and only if the following hold: (i) \(R_ P\) is a discrete rank one valuation domain for each prime ideal \(P\) of \(R\) which contains \(m\). (ii) If we write \(m=2^ nm_ 1\) with \(m_ 1\) odd, then \(m_ 1\) is a regular element of \(R\), \(R/m_ 1R\) is reduced (may be zero), and if 2 is a non-unit of \(R\) then \(n \leq 1\). (iii) \(R\) has the two-generator property.