令H是拟Hopf代数，A是H-模代数，F∈H()H是规范变换.本文在拟Hopf意义下证明了A＃H≌AF-1＃HF，(HF)F-1=H，A＃H-模范畴与AF-1＃HF-模范畴的同......

令H是有限维Hopf代数,A是左H-模代数,本文证明了A是Gorenstein代数的充分必要条件,AH也是Gorenstein代数的条件.它是Enochs E E.,G......