曲阜师范大学学报（自然科学版）
麯阜師範大學學報（自然科學版）
곡부사범대학학보（자연과학판）
JOURNAL OF QUFU NORMAL UNIVERSITY (NATURAL SCIENCE EDITION)
2010年
4期
36-40
,共5页
余模%群余环%伴随函子
餘模%群餘環%伴隨函子
여모%군여배%반수함자
Comodules%group corings%adjoint functors
设C 是一个G-A-余环,MCfgp 和 CfgpM分别是右和左的C-余模范畴,其中对象作为右或左的A-模是有限生成投射的.该文证明了范畴MCfgp 和 CfgpM 是等价的. 基于此结论,得到C-余模范畴和某一模范畴之间的一对伴随函子.
設C 是一箇G-A-餘環,MCfgp 和 CfgpM分彆是右和左的C-餘模範疇,其中對象作為右或左的A-模是有限生成投射的.該文證明瞭範疇MCfgp 和 CfgpM 是等價的. 基于此結論,得到C-餘模範疇和某一模範疇之間的一對伴隨函子.
설C 시일개G-A-여배,MCfgp 화 CfgpM분별시우화좌적C-여모범주,기중대상작위우혹좌적A-모시유한생성투사적.해문증명료범주MCfgp 화 CfgpM 시등개적. 기우차결론,득도C-여모범주화모일모범주지간적일대반수함자.
Let C be a G-A-coring, and MCfgp (respectively, CfgpM) be the category of right (respectively, left) C-comodules which are finitely generated and projective as right (respectively, left) A-modules. This paper proves that MCfgpand CfgpM are equivalent. Based on this fact, we obtain a pair of adjoint functors between the category of C-comodules and the category of certain modules.
