The author studies the set \(A\) of generalized power series, with coefficients in a commutative ring and exponents in an ordered commutative monoid. \(A\) is a commutative ring with pointwise addition and natural convolution. Particular cases are polynomial rings over semigroups, formal power series on finite or infinite variables. The author finds conditions for \(A\) to be a reduced ring.