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.展开更多
Adjoint semigroups of BCI algebras were introduced by Huang [1] and some of its important properties were obtained. In this paper,some characterizations of positive implicative BCK algebras are given by discussing the...Adjoint semigroups of BCI algebras were introduced by Huang [1] and some of its important properties were obtained. In this paper,some characterizations of positive implicative BCK algebras are given by discussing the adjoint semigroups. Moreover,the semigroup differences between positive BCK algebras and implicative BCK algebras are discussed,and some semigroup characterizations of implicative BCK algebras are given.展开更多
基金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.
文摘Adjoint semigroups of BCI algebras were introduced by Huang [1] and some of its important properties were obtained. In this paper,some characterizations of positive implicative BCK algebras are given by discussing the adjoint semigroups. Moreover,the semigroup differences between positive BCK algebras and implicative BCK algebras are discussed,and some semigroup characterizations of implicative BCK algebras are given.