Let L and A be Hopf algebras on field k with antipodes SL and SA,and let C be a right A-module coalgebra.

• 设L是域k上的Hopf代数,其对极为SL;