Hopf Modules and Their Duals

Free Hopf modules and bimodules over a bialgebra are studied. We investigate a duality in the category of bimodules in this context. This gives the correspondence between Woronowicz's quantum Lie algebra and algebraic vector fields.