检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]复旦大学数学研究所
出 处:《复旦学报(自然科学版)》1998年第5期644-650,共7页Journal of Fudan University:Natural Science
摘 要:证明了h(-,M)函数保持右正合及有限直和,-□cM(cM拟有限)保持拟有限和有限维性;推出了联系余-hom和余张量函数的一个同构.给出了强等价新的定义,并得到范畴Mct和MD强等价当且仅当cM和DM强等价.令F:c*M→D*M是一等价,则当F(Mc)MD时,F|Mc强等价.这改进了林的结果.作为应用,证明了若F同上且D是自反的,则F|Mc是一强等价,且C是上自反的.This paper mainly discusses the strong equivalence of categories of comodules. It is proved that h(-,M) preserves right exact and finite direct sums, and -□cM (cM is quasifinite) preserves quasi-finite and finite dimensionality. And an isomorphism,which connects the co-hom and co-tensor functors is derived. A new definition of the strong equivalence is given, and it is shown that Mc and MD are strong equivalent if and only if cM and DM are. Set F: c*M→D*. M be an equivalent functor. Then if F (Mc)MD, F |Mc is a strong equivalence. It has improved Lin's result on strong equivalence. As an application, if D is coreflexive, then F |Mc is a strong equivalence and C is coreflexive.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.30