论文部分内容阅读
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 pa