Zero divisors in commutative semigroup rings

Let R be a commutative ring, (S,+) a commutative semigroup, and R[X;S] the semigroup ring of S over R. Define the congruence [delta] on S by: a [delta] b if and only if there exists a positive integer n and an element c of S such that na + c = nb + c. [...]