Prüfer domains of generalized power series (Q1019252)

Let \(D\) be a commutative integral domain with identity and \((S,\leq)\) be a strictly ordered monoid. Let \(A=[[D^{S,\leq}]]\) be the generalized power series ring. The paper under review discovers when \(A=[[D^{S,\leq}]]\) is a Prüfer (Bézout, Dedekind, PID) domain. For example one of the results indicates that: if \((G,\leq)\) is a nonzero linearly ordered group, then \(A=[[D^{S,\leq}]]\) is a Prüfer domain if and only if \(D\) is a field.