Let A,B be associative rings with identity,and(S.≤)a strictly totally ordered monoid which is also artinian and finitely generated.For any bimodule AaMB. we show that the bimodule [[A^(S.≤)]][M^(S.≤)][[B^(S.≤)]]de...Let A,B be associative rings with identity,and(S.≤)a strictly totally ordered monoid which is also artinian and finitely generated.For any bimodule AaMB. we show that the bimodule [[A^(S.≤)]][M^(S.≤)][[B^(S.≤)]]defines a Morita duality if and only if _AM_B defines a Morita duality and A is left noetherian.B is right noetherian.As a corollary,it.is shown that the ring[[A^(S.≤)]]of generalized power series over A has a Morita duality if and only if A is a left noetherian ring with a Morita duality induced by a bimodule _AM_B such that B is right noetherian.展开更多
基金supported by National Natural Science Foundation of China(10171082)Foundation for University Key Teacherthe Ministry of Education(GG-110-10736-1001)
文摘Let A,B be associative rings with identity,and(S.≤)a strictly totally ordered monoid which is also artinian and finitely generated.For any bimodule AaMB. we show that the bimodule [[A^(S.≤)]][M^(S.≤)][[B^(S.≤)]]defines a Morita duality if and only if _AM_B defines a Morita duality and A is left noetherian.B is right noetherian.As a corollary,it.is shown that the ring[[A^(S.≤)]]of generalized power series over A has a Morita duality if and only if A is a left noetherian ring with a Morita duality induced by a bimodule _AM_B such that B is right noetherian.
