关于H—余群与H—函子的注记

若Ｘ１和Ｘ２是分别具有余乘法μ１和μ２的Ｈ－余群，则Ｘ１∧Ｘ２是一个Ｈ－余群，在「Ｘ１，∧Ｘ２，Ｙ」中由μ１和μ２所定义的群是同构的。