本文首先利用ｃｏｉｎｔｅｇｒａｌ和ｃｏｃｌｅｆｔ模余代数概念，得到Ｈ为Ｈｏｐｆ代数当且仅当Ｈ作为Ｈ－模余代数是ｃｏｃｌｅｆｔ以及模余代数的一些性质．然后，设Ｃ为Ｈ－模余代数．令Ｃ＝Ｃ／Ｃｋｅｒε则有．最后，证明了结构定......