Ps-rings of generalized power series (Q3838342)

An ordered set \((S,\leq)\) is artinian if every strictly decreasing sequence of elements of \(S\) is finite, and is narrow if every subset of pairwise order-incomparable elements of \(S\) is finite. Let \((S,\leq)\) be a strictly ordered monoid (i.e., \((S,\leq)\) is an ordered monoid with the condition that if \(s,s',t\in S\) and \(s<s'\) then \(s+t<s'+t\)), and \(R\) a commutative ring. Let \(A=[[R^{S,\leq}]]\) be the set of all maps \(f\colon S\to R\) such that \(\text{supp}(f)=\{s\in S\mid f(s)\neq 0\}\) is artinian and narrow. With pointwise addition, \(A\) is an abelian group. For every \(s\in S\) and \(f,g\in A\) let \(X_s(f,g)=\{(u,v)\in S\times S\mid s=u+v\), \(f(u)\neq 0\), \(g(v)\neq 0\}\). Then \(X_s(u,v)\) is finite. Define \((fg)(s)=\sum_{(u,v)\in X_s(f,g)} f(u)g(v)\). Then \(A\) becomes a commutative ring which is called the ring of generalized power series. A ring \(R\) is a left PS-ring if \(\text{Soc}(_RR)\) is projective. The reviewer [Riv. Mat. Univ. Parma, V. Ser. 1, 311-315 (1992; Zbl 0806.16004)] noted that the power series ring \(R[[x]]\) is always a left PS-ring for any ring \(R\). But the authors note that this is not true for the ring of generalized power series. Then the authors prove that if \(R\) is a commutative PS-ring and \((S,\leq)\) is a totally strictly ordered monoid which satisfies the condition that \(0\leq s\) for every \(s\in S\) then \(A=[[R^{S,\leq}]]\) is a PS-ring.