Morita duality for the rings of generalized power series (Q1862875): Difference between revisions

Let \(A,B\) be associative rings with identity, and \((S,\leq)\) be a strictly totally ordered monoid which is also Artinian and finitely generated. Then one forms a ring, denoted by \([[A^{S,\leq}]]\), called the ring of generalized power series. For any bimodule \(_AM_B\), one forms a bimodule \(_{[[A^{S,\leq}]]}[M^{S,\leq}]_{[[B^{S,\leq}]]}\). The author proves that the bimodule \(_{[[A^{S,\leq}]]}[M^{S,\leq}]_{[[B^{S,\leq}]]}\) defines a Morita duality if and only if the bimodule \(_AM_B\) defines a Morita duality and \(A\) is left Noetherian, and \(B\) is right Noetherian. This generalizes a result of the reviewer [in Can. Math. Bull. 39, No. 2, 250-256 (1996; Zbl 0858.16005)] for the power series rings.