Let H be a commutative, noetherian, semisimple and cosemisimple Hopf algebra with a bijective antipode over a field k. Then the semisimplicity of YD（H） is considered, where YD （H） means the disjoint union of the c...Let H be a commutative, noetherian, semisimple and cosemisimple Hopf algebra with a bijective antipode over a field k. Then the semisimplicity of YD（H） is considered, where YD （H） means the disjoint union of the category of generalized Yetter-Drinfeld modules nYD^H（ α, β） for any α, β E Aut Hopf（H）. First, the fact that YD（H） is closed under Mor is proved. Secondly, based on the properties of finitely generated projective modules and semisimplicity of H, YD（H） satisfies the exact condition. Thus each object in YD（H） can be decomposed into simple ones since H is noetherian and cosemisimple. Finally, it is proved that YD （H） is a sernisimple category.展开更多
基金The National Natural Science Foundation of China(No.11371088)the Fundamental Research Funds for the Central Universities(No.3207013906)the Natural Science Foundation of Jiangsu Province(No.BK2012736)
文摘Let H be a commutative, noetherian, semisimple and cosemisimple Hopf algebra with a bijective antipode over a field k. Then the semisimplicity of YD（H） is considered, where YD （H） means the disjoint union of the category of generalized Yetter-Drinfeld modules nYD^H（ α, β） for any α, β E Aut Hopf（H）. First, the fact that YD（H） is closed under Mor is proved. Secondly, based on the properties of finitely generated projective modules and semisimplicity of H, YD（H） satisfies the exact condition. Thus each object in YD（H） can be decomposed into simple ones since H is noetherian and cosemisimple. Finally, it is proved that YD （H） is a sernisimple category.
