No label defined (Q4526396)

Let \(R\) be a ring and let \(S\) be a semigroup. Then \(S\) is said to be torsion-disjoint with \(R\) if \(s^n=t^n\) and \(mr=0\) imply \(s=t\) or \(r=0\), whenever, \(s,t\in S\), \(m\), \(n\) positive integers and \(m\) divides \(n\). Suppose \(S\) is a semilattice, and let \(F=\bigoplus F_s\) (\(s\in S\)) be an \(S\)-graded ring. Then \(F\) is called special if any component \(F_s\) with \(s\neq 0\) possesses an identity \(1_s\), and \(1_s1_t=1_{st}\) for all nonzero \(s,t\in S\). The main results of the paper are the following: Theorem 1. A nonzero semigroup ring \(RS\) is a direct sum of fields if and only if \(R\) is a direct sum of fields, \(S\) is a commutative semigroup torsion-disjoint with \(R\), and every principal ideal of \(S\) is finite. Theorem 2. Let \(S\) be a semilattice, and let \(F=\bigoplus F_s\) (\(s\in S\)) be a special \(S\)-graded ring. Then the following conditions are equivalent: (i) \(F\) is a direct sum of fields, (ii) all nonzero rings \(F_s\) are sums of fields and every principal ideal of \(S\) is finite.