Let H H be a Hopf algebra and A A an H H -simple right H H -comodule algebra. It is shown that under certain hypotheses every ( H , A ) (H,A) -Hopf module is either projective or free as an A A -module and A A is either a quasi-Frobenius or a semisimple ring. As an application it is proved that every weakly finite (in particular, every finite dimensional) Hopf algebra is free both as a left and a right module over its finite dimensional right coideal subalgebras, and the latter are Frobenius algebras. Similar results are obtained for H H -simple H H -module algebras.
CITATION STYLE
Skryabin, S. (2007). Projectivity and freeness over comodule algebras. Transactions of the American Mathematical Society, 359(6), 2597–2623. https://doi.org/10.1090/s0002-9947-07-03979-7
Mendeley helps you to discover research relevant for your work.