Let H be a Hopf π-coalgebra over a commutative ring k with bijective antipode S, and A and B right π-H-comodulelike algebras. We show that the pair of adjoint functors （F3 = A Bop A□ HBop -,G3 = （-）coH） betwee...Let H be a Hopf π-coalgebra over a commutative ring k with bijective antipode S, and A and B right π-H-comodulelike algebras. We show that the pair of adjoint functors （F3 = A Bop A□ HBop -,G3 = （-）coH） between the categories A□HBopM and AMπB-H is a pair of inverse equivalences, when A is a faithfully flat π-H-Galois extension. Furthermore, the categories Moritaπ-H（A,B） and Morita □π-H（AcoH,BcoH） are equivalent, if A and B are faithfully flat π-H-Galois extensions.展开更多
基金Supported by the Key Programs of Jiaxing University (Grant No. 70110X03BL)Scientific Research Foundation of Jiaxing University (Grant No.70509015)
文摘Let H be a Hopf π-coalgebra over a commutative ring k with bijective antipode S, and A and B right π-H-comodulelike algebras. We show that the pair of adjoint functors （F3 = A Bop A□ HBop -,G3 = （-）coH） between the categories A□HBopM and AMπB-H is a pair of inverse equivalences, when A is a faithfully flat π-H-Galois extension. Furthermore, the categories Moritaπ-H（A,B） and Morita □π-H（AcoH,BcoH） are equivalent, if A and B are faithfully flat π-H-Galois extensions.
