Semisimple rings and von Neumann regular rings of generalized power series (Q1375950): Difference between revisions

Let \((S,+,\leq)\) be a strictly ordered monoid and let \(R\) be a ring. The author defines the ring of generalized power series \(A=[R^{S,\leq}]\), with coefficients in \(R\) and exponents in \(S\) as the set of all functions \(f\colon S\to R\) such that \(\text{supp}(f)\) is artinian and narrow. The following main theorem is proved. Let \(R\) contain a unity and \(S\) contain an infinite artinian narrow subset. Let also \(S\) be commutative and torsion-free if the order on \(S\) is not total. Then the following conditions are equivalent: 1) \(A\) is regular. 2) (a) \(S\) is a group; (b) if \(S\) is commutative, the order on \(S\) is subtotal; if \(S\) is noncommutative, the order on \(S\) is total; (c) \(R\) is regular; (d) every set of mutually orthogonal idempotents of \(R\) is finite. 3) \(R\) is a semisimple ring and conditions (a), (b) of (2) hold. 4) \(A\) is a semisimple ring.