Frobenius函子和投射余可解Gorenstein平坦模

该文研究投射余可解Gorenstein平坦模及其维数在Frobenius函子作用下的同调不变性.设R和S是环,_(S)M_(R)是Frobenius双模且M_(R)是生成子,则R-模X是投射余可解Gorenstein平坦的当且仅当MRX是投射余可解Gorenstein平坦S-模,并且当F:_(R)M→_(S)M是忠实的Frobenius函子时有PGfd(_(R)X)=PGfd(_(S)F(X)),从而投射余可解Gorenstein平坦模及其维数在环的Frobenius扩张下是保持的.还证明了环的PGF整体维数在环的可裂Frobenius扩张下是不变的.

Frobenius双模和相对n-Gorenstein投射模

设R和S均是环,SMR是一Frobenius双模,MR是生成子.χ是一左R-模类,y是一左S-模类.在一定条件下,证明左R-模X是n-X-Gorenstein投射模当且仅当M■RX是n-y-Gorenstein投射左S-模.进而证明当F:RM→SM是忠实的Frobenius函子时,n-GX-pdR(X)=n-Gy-pdS(F(X)).

关于拟Frobenius余环

定义并研究了拟Frobenius余环,证明了下面几个等价条件:C是拟Frobenius余环;AC有限生成投射模,并且l:A→*C是Frobenius扩张;CA有限生成投射模,并且l:A→C*是Frobenius扩张;忘却函子Ur:Mc→MA是拟Frobenius函子;(Gl,Ul)与(Gr,Ur)都是拟左Frobenius函子偶;忘却函子U:cM→M是拟Frobenius函子.

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

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

拟Abelian范畴上函子范畴的局部化

通过拟Abelian范畴的局部类构造出函子范畴的局部类,进一步研究函子范畴的局部化范畴与局部化范畴的函子范畴之间的关系.

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

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

关于函子范畴的一点注记

在介绍函子范畴的概念及例子的基础上,证明了拟Abel(正合)范畴的函子范畴仍是Abel(正合)范畴,并给出两个应用.

一类赋值模范畴中的Hom函子

提出了一类赋值模范畴中引入正合列的概念及其可分性性质，得到了Ｈｏｍ函子的存在性与可分性的关系。

关于Frobenius弱余环

文章定义了Frobenius弱余环.研究了弱余环C和CA是Frobenius弱余环的条件.

拟Hopf代数上的Doi-Hopf模

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

Frobenius函子和Gorenstein投射预覆盖

为研究任意环上的每个模是否存在Gorenstein投射预覆盖这一公开问题,我们利用Frobenius函子建立了Gorenstein投射预覆盖之间的关系.本文证明:如果F:C→D是有足够多投射对象的Abel范畴之间的可分Frobenius函子且D中每个对象都存在Gorenstein投射预覆盖,那么C中每个对象也存在Gorenstein投射预覆盖.这个结果可应用在可分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的.

范畴中morphic对象的推广

为了推广范畴中的morphic对象,通过引入范畴中的拟-morphic对象,给出了拟-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的。进一步说明了范畴中的拟-morphic对象为morphic对象的真正推广。

T-余单子可分的等价条件

文章类似于A-上环(coring)给出T-余单子(comonad)的一些性质(这里A是代数,T是单子(monad)).首先定义了实(firm)单子等相关概念,其次研究了与Frobenius函子等价的两个命题,最后给出了与余单子可分等价的五个命题.