群分次Frobenius余环

令G是一个群,A是一个环,C是群分次A-余环.定义了群分次Frobenius余环,这个概念是Frobenius余环概念的推广.给出群分次余环是群分次Frobenius余环的充分与必要条件,证明了群分次Frobenius余环是群分次环,并且A→Ce是Frobenius扩张.     

群余环上余模的对偶(英文)

设C是一个G-A-余环,Cfgp和fCgp分别是右和左的C-余模范畴,其中对象作为右或左的A-模是有限生成投射的.该文证明了范畴fCgp和Cfgp是等价的.基于此结论,得到C-余模范畴和某一模范畴之间的一对伴随函子.     

拟Hopf代数上的Doi-Hopf模

在拟Hopf代数情形中,利用余环的可分函子理论,给出了忘却函子(忽略余作用)可分的充分必要条件,从而诱导出Doi-Hopf模的积分.作为结果应用,证明了拟Hopf代数中Doi-Hopf模的Maschke型定理.     

模范畴中的左拟相伴函子对

令A和B是有单位元的结合环,考虑双模Λ∈BMA、X∈AMB和函子F=ΛA-:AM→BM,G=X B-:BM→AM.研究了模范畴中函子的左拟相伴函子,给出了F是G的左拟相伴函子的几个等价条件.     

弱缠绕模范畴的可分函子

设(A,C)ψ为一个弱缠绕结构.利用Rafael定理,讨论了从弱缠绕模范畴UAC(ψ)到右A-模范畴MA忘却函子F的可分性,证明了忘却函子F是可分的当且仅当存在一个正规化积分θ:CC→A.     

关于Frobenius函子的一个注记（英文）

利用Frobenius函子来刻画Frobenius双模.证明了一个双模是Frobenius的当且仅当它作为左模和右模均是有限生成投射的,并且所对应的函子限制到有限生成投射模类上是一个Frobenius函子.利用这种刻画,得到了关于经典的自同态环定理的一种新的利用函子方法的证明.     

范畴中的拟-morphic对象

本文引入了范畴中的拟-morphic对象,给出了其在p-exact范畴Abelian范畴中的一些性质。主要证明设A是p-exact范畴中的拟-morphic对象,则A的任一子对象均同构于A的一个像当且仅当A的任一像均同构于A的任一子对象;设C和D是Abelian范畴,F:C→D是完全忠实正合函子,且A∈Ob C,则A是拟-morphic的当且仅当F(A)是拟-morphic的。     

x-Gorenstein投射模与Frobenius扩张

设R∝A是环的扩张。基于任伟对Gorenstein投射模和Frobenius扩张的研究,利用同调代数的方法,讨论了x-Gorenstein投射模与Frobenius扩张,并证明了当R∝A是环的Frobenius扩张且环A的左整体x-Gorenstein投射维数lxGDP(A)∞时,对任意左A-模M有:_AM是x-Gorenstein投射左A-模当且仅当潜在模_RM是■-Gorenstein投射左R-模。     

偏缠绕模的Maschke型定理

设(A,C,ψ),(A′,C′,ψ′)为两偏缠绕结构,给定α:A→A′和γ:C→C′.引入两个偏缠绕模范畴M(ψ)_A~C和M(ψ′)_A′~C′的导出函子F,并证明此导出函子F有右伴随函子:G:M(ψ′)_A′~C′→M(ψ)_A~C.最后,引入偏正规化余积分θ:C→AA的概念并证明了偏缠绕模范畴的Maschke型定理,也就是说,假设存在偏正规化余积分,给定M_A~C(ψ)中态射f:M→N,则有当单(满)态射f看作C-余模态射可分裂时,必有单(满)态射f在M_A~C(ψ)中可分裂.     

关于CE-投射模及其投射维数

利用投射模的研究方法构造出了CE-内射模的对偶模类CE-投射模,刻画了CE-投射模及其CE-投射维数的一些性质;结论如下:假如F:RM→SM为模范畴的等价函子,G是F的逆函子,则M为R-CE-投射模当且仅当F(RM)为S-CE-投射模;RM在环R上的CE-投射维数与SF(RM)在环上的CE-投射维数是相等的,也即l.CEpd(RM)=l.CEpd(SF(RM)).     

FCG-内射模、FCGP-内射模与某些环

定义了左FCG－内射模和左FCGP－内射模，研究了它们的一些性质，用左FCG－内射模刻画了左V－环。称一个环R为左FCG－遗传环，如果投射左R－模的有限余生成了模是投射的。给出了环R为左FCG－遗传环的一些等价条件和左FCG－遗传环为半单环的条件。当R为左余Noether环时，R为左FCG－遗传环当且仅当R的每个有限余生成左理想是投射的。左FCG－遗传环是Morita不变的。     

直接有限环

证明了如下结果:1)环R是直接有限环当且仅当每个右R-满射f:R→R是单射;2)若R是右C2环,则R是直接有限环当且仅当每个右R-单射f:R→R是满射当且仅当R/J(R)是直接有限环;3)设R是左半A-bel环,则R是直接有限环;4)设R,S是两个环,RVS是(R,S)双模,则C=RV     

Hom-Yetter-Drinfeld模范畴的半单性

设k是域,(H,α)是带有双射对极的monoidal Hom-Hopf代数, 如果(H,α)是交换的, 诺特的, 半单和余半单, 则Hom-Yetter-Drinfeld模范畴_HHYD ^H是半单的。也就是说设(H,α)是交换的monoidal Hom-Hopf代数。 假设_HHYD ^H 满足某一条件, 并且函子(-)^coH:_HHYD ^H→H(M_k)是正合的。 如果(M, μ)∈_HHYD ^H 作为左(H,α)-模是有限生成的, 则(M,μ)∈_HHYD ^H 保持对象。     

同纬映象函子与同伦正则态射

利用同纬映象函子定义稳定同伦正则态射, 并研究了稳定同伦正则态射存在的条件及性质, 得到如下结果： 若态射f: X→Y有稳定同伦标准分解 (g,Z,h), 设有A,B及相应的态射i: A→X与p: Y→B, 使得gi和ph是稳定同伦等价的, 则f: X→Y必为稳定同伦正则态射, 且在k稳定同伦意义下惟一.     

极大-内射环上的一些注记(英文)

设R是一个环.在文献(M.Y.Wang,G.Zhao.Acta Mathematica Sinica,2005,21:1451-1458.)中,如果从环R的任意右理想到R自身的每个态射都能被表示成为R中的某个元素左乘形式,那么该环R被称为右极大-内射环.给出了V-环、半单环的等价刻划;并证明了如果一个凝聚-SF环R是余挠的,那么R是极大-内射的;以及表明了极大-内射环的存在性:极大-内射生成子的自同态环是极大-内射的.最后,证明了一个右极大-内射左完全环R是quasi-Frobenius环当且仅当它满足左W-条件.     

ZIF环上有限生成投射模的自同态环

令ＰＲ是环Ｒ的有限生成投射模，Ｐ＾＋＝ＨｏｍＲ（Ｐ，Ｒ），Ｓ＝Ｅｎｄ（ＰＲ），则可得到，如果Ｒ是一个左ＺＩＦ环，ｓＰＲ是Ｓ－有限表现的（Ｒ，Ｓ）内射子，那么，Ｓ工ＺＩＦ环，此外，还探讨了内射子，平坦子的一些性质。     

内射强覆盖与拟Frobenius环

证明了如下结果：环Ｒ是拟Ｆｒｏｂｅｎｉｕｓ环，当且仅当存在一个基数Ｃ使得任意投射左Ｒ－模是一个内射左Ｒ－模和Ｃ－限制的ＥＳ－模的直和，也当且仅当存在一个基数Ｃ使得每一个左Ｒ－模都可写成一个具有内射强覆盖的左Ｒ－模和一个Ｃ－限制的ＥＳ－模的直和．     

简单图范畴与群范畴之间的一对伴随函子

基于群中元素的交换性,构造了一个函子G：Groups→s -Graphs ,并且构造了其反向函子F：s -Graphs→Groups ,证明了F恰是G的伴随函子。