Let be a Hopf algebra, be an -Galois extension. Let and be the derived categories of right -modules and of right -modules respectively. An object may be regarded as an object in via the restriction functor. We discuss the relations of the derived endomorphism rings and . If is a finite dimensional semisimple Hopf algebra, then is a graded subalgebra of . In particular, if is a usual -module, a necessary and sufficient condition for to be an -Galois graded extension of is obtained. As an application of the results, we show that the Koszul property is preserved under Hopf Galois graded extensions.

生成讲解博客的中文版本

生成AI智能校验的中文版本