π-代数上的模及~DM_π~C与Rat(C~*M_D~π*)范畴

The module on π-Algebra and the Relation of Categories ~DM_π~C and Rat(C~*M_D~π*)

引进了π-代数上的模的概念,研究了其相关性质.证明了π-余代数上余模的对偶是对偶π-代数上的模.最后在MπC Rat(C*Mπ)的基础上,证明了DMπC Rat(C*MπD*).

In this paper the module concept on π - algebra is introduced, some properties of it are discussed, which proves that the dual eomodule on a π - coalgebra is a module of it＇ s dual π - algebra. Finally the proof of ^DMπ^C≌Rat（C^＊ MD^π＊ ） by using Mπ^C≌Rat（C^＊ M^π） is given.