设 Ｈ是域 ｋ上的有限维 Ｈｏｐｆ代数，Ｋ为 Ｈ的任意子 Ｈｏｐｆ代数，Ａ是右 Ｈ－余模代数．设 ＝（Ｈ／Ｋ+ Ｈ）*和，且有 ｃ∈Ａ，ｔ ·ｃ＝１．本 文刻划了 Ａ作为 Ａ＃ *-模的投射性且证明了：如果Ａ／ＡＨ*是 Ｈ-Ｆｒｏｂｅｎｉｕｓ扩张， 则 Ａ ／ＡＨ*是 Ｋ－Ｆｒｏｂｅｎｉｕｓ扩张；如果 Ａ／ＡＨ*是 Ｈ－Ｇａｌｏｉｓ扩张，则 Ａ *／ＡＨ*是 Ｋ－Ｇａｌｏｉｓ扩张．

Let H be a finite dimensional Hopf algebra over a field k, K a Hopf subalgebra of H and A an H-comodule algebra. In this paper, we characterize the projectivity of A as an A# *-module and show that if and A/AH* is H-Frobenius, then A */AH* is K-Frobenius. In particular, if A/AH* is H-Galois, then A */AH*is K-Galois, where and