构造了Hopf群余代数上对角交叉积代数结构,给出了其为Hopf群余代数的充要条件,证明了其表示范畴同构于Yetter-Drinfeld群模范畴,并将Hopf代数理论中经典的Maschke型定理推广至Hopf群余代数的对角交叉积。