设Ｈ是有限维Ｈｏｐｆ代数，Ａ是右Ｈ模代数，记Ａ的Ｈ－不变子代数Ａ＾Ｈ为Ｂ。在第１部分中，本文引进了Ａ是Ｂ－理想的概念。定理１和２证明了Ａ是Ｂ－理想模当且仅当Ａ作为Ａ＃Ｈ－模是自生成子......