利用积分映射给出广义smash积的一个Maschke形式定理:假设H是有限维半单Hopf代数,并且存在一个代数满同态的积分映射φ:H→B.如果A是半单的,那么A#B也是半单的.对偶地,给出广义smash余积的一个Maschke形式定理.
Using the integral map, this paper gives a Maschke-type theorem for generalized smash products: assume H is a finite semisimple Hopf algebra and there exists an integral φ:H→B which is a surjeetive algebra map. IfA is semisimple, then A#B is also semisimple. Dually, this paper gives a Maschke-type theorem for generalized smash eoproducts.