The purpose of this paper is to present some dual properties of dual comodule. It turns out that dual comodule has universal property (cf.Theorem 2). Since (( )*,()°) is an adjoint pair (cf.Theorem 3), some nice ...The purpose of this paper is to present some dual properties of dual comodule. It turns out that dual comodule has universal property (cf.Theorem 2). Since (( )*,()°) is an adjoint pair (cf.Theorem 3), some nice properties of functor ( )° are obtained. Finally Theoram 4 provides that the cotensor product is the dual of the tensor product by (M (?)A N)°≌M°□A°N°. Moreover, the result Hom(M,JV)≌ComA°(N°,M°) is proved for finite related modules M, N over a reflexive algebra A.展开更多
基金the Nature Science Foundation of China(19901009),Nature Science oundation of Guangdong Province(970472000463)
文摘The purpose of this paper is to present some dual properties of dual comodule. It turns out that dual comodule has universal property (cf.Theorem 2). Since (( )*,()°) is an adjoint pair (cf.Theorem 3), some nice properties of functor ( )° are obtained. Finally Theoram 4 provides that the cotensor product is the dual of the tensor product by (M (?)A N)°≌M°□A°N°. Moreover, the result Hom(M,JV)≌ComA°(N°,M°) is proved for finite related modules M, N over a reflexive algebra A.
