设Ａ、Ｂ是有单位元的结合环，Ｍ是左Ａ－右Ｂ－双模，则可定义一个Ｍｏｒｉｔａ对偶当且仅当ＡＭＢ可定义一个Ｍｏｒｉｔａ对偶，且Ａ是左Ｎｏｅｔｈｅｒ环，Ｂ是右Ｎｏｅｔｈｅｒ环。......