论文部分内容阅读
设C-=(Cα)α∈G是一个G—A—上环，其中A是有单位元的环， G是一个群， G中单位元记为e．文献[1]给出群上环的概念，并指出C=Ce是一个A—上环，有余乘法△e，e和余单位ε．文献[2]通过两个上环： A—上环C和B—上环D，构造一个A⊕ B-上环．文献[3]研究了A—上环上忘却函子Mc→MA和诱导函子—⊕AC：MA→MC是可分的问题，并指出双余模实际上是一个余模．
本文研究群上环的双余模，并给出群上环上诱导函子和忘却函子是可分的条件．