Duality for Finite Hopf Algebras Explained by Corings

We give a coring version for the duality theorem for actions and coactions of a finitely generated projective Hopf algebra. We also provide a coring analogue for a theorem of H.-J. Schneider, which generalizes and unifies the duality theorem for finite Hopf algebras and its refinements. This paper was written while the first author visited the Mathematics Departments of Syracuse University and California State University Dominguez Hills. He would like to thank both departments for their hospitality.