偏 Doi-Hopf 群 结 构

通过引入偏Doi-Hopf群结构和偏Doi Hopf群模的概念, 推广了Doi-Hopf结构, 并给出其应用实例和基本的代数性质. 综合群余代数和偏缠绕结构的思想构造了从偏 Doi-Hopf群模范畴到模范畴的忘却函子, 并证明了它有右伴随函子.     

偏Doi-Hopf π-模范畴和函子

设π-是一个群．本文我们引入了Hopfπ-代数上的模的Doi-Hopfπ-概念．得到了偏Doi—Hopfπ-模范畴上的忘却函子可分的充要条件,其中忘却函子忘却的是π-A作用．作为应用,我们证明了偏Doi-Hopfπ-模范畴上的Maschke型定理．     

Hopf π-余代数上Doi-Hopf模的Maschke型定理

带有Doi-Hopf π-数据(H,A,C)的Doi-Hopf模作为Hopf π-余模与Doi-Hopf模概念的推广由王栓宏引进.本文证明了Doi-Hopf π-模上的Maschke型定理.Maschke型定理成立的一个充分条件是:针对讨论的Doi-Hopf π-数据(H,A,C)存在规范π-积分.     

Doi Hom-Hopf模的Maschke型定理

考虑Doi Hom-Hopf模的半单性或可约性. 设(H,A,C)是一个Doi Hom-Hopf-数据, 先利用忘却函子将Doi Hom-Hopf模范畴M^C_A中的对象映为右(A,β)- Hom模范畴M_A中对象, 再通过对M_A中可分单同态进行变形, 建立Doi Hom-Hopf-数据积分概念, 并利用该积分证明Doi Hom-Hopf模的Maschke型定理. 作为应用, 定义了Hom-Yetter-Drinfeld模范畴, 并证明Hom-Yetter-Drinfeld模范畴是Doi Hom-Hopf模范畴的子范畴, 从而得到了Hom-Yetter-Drinfeld模的Maschke型定理.     

拟Hopf代数上的Doi-Hopf模

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

拟三角Hopf代数上的辫子Doi-Hopf模的广义积分和Maschke型定理(英文)

1997年Caenepeel,Militaru和Zhu[1]证明了Doi Hopf模的Maschke型定理 ,在这篇文章中 ,我们引进了辫子Doi Hopf模 ,证明了类似的Maschke型定理     

弱T-余代数上的广义Drinfel''''d量子偶

在这篇文章中，我们引进了弱Doi-Hopf群模和群斜配对等概念，这些是分别作为弱Doi-Hopf模和普通斜配对概念的推广．以此为工具，我们建立了一类广义的Drinfel＇d量子偶，这些是一类弱Hopf群余代数．     

弱Doi-Hopf群模的Maschke型定理

设π为一个群,讨论了弱Doi-Hopfπ-模的半单性或可约性.设(H,A,C)是一个弱Doi-Hopfπ-数据,利用忘却函子将Doi-Hopfπ-模范畴π-CUA中的对象映为右A-模范畴MA中对象,通过对MA中可分单同态进行变形,建立了Doi-Hopfπ-数据积分概念.借助此积分,证明了弱Doi-Hopfπ-模的Mas-chke型定理,推广了一些文献的结果.     

Scott连续自映射不动点集的性质研究

主要研究了一些连续domain上Scott连续自映射的不动点集的性质．证明了若L是双有限domain,f：L→L是一致交换映射,则Fix（f）是双有限domain;提出了连续cpo上不动点集的一个例子;并证明了若L是有界完备domain,f：L→L是稳定映射且max（L）CFix（f）,则Fix（f）是L的收缩等性质．     

试论弱Doi-Hopf模的正合列的可分性

主要在弱Hopf代数的情形下,研究了弱Doi-Hopf模范畴中的短正合列关于H-余模的可分性。并在此基础上,证明了对任意的弱Doi-Hopf模M,N和P,它们的余不变子模所构成的短正合列0→McoH→NcoH→PcoH→0是B-模短正合列,结合多年工作经验进行探讨。     

关于H-Hopf模代数

本文引进了Ｈ－Ｈｏｐｆ模代数．对可换Ｈｏｐｆ代数Ｈ,证明了Ｈ－Ｈｏｐｆ模代数范畴等价于含单位元的代数范畴;并对一个交换的Ｈ－Ｈｏｐｆ模代数Ａ,有：如果β：ＡＡ０Ａ→ＡＨ为满射（这里β（ａｂ）＝Σａｂ（０）ｂ（１））,则Ａ为忠实平坦的Ａ０一模,且β为Ｈ－Ｈｏｐｆ模代数同构．     

Jordan代数上的三元映射

设A和B是Jordan代数, 如果双射:A→B满足任给a,b,c∈A都有(｛abc｝)=｛(a)(b)(c)｝, 则称为Jordan三元映射。如果A含有一个非平凡幂等p,且A对于p的Peirce分解A=A1A12A0满足(1)设ai∈Ai(i=1,0),如果任给t12∈A12都有ait12=0,则ai=0,则从A到B上的Jordan三元映射是可加的。     

∞-余纯平坦模

通过引入∞-余纯平坦模,证明了:R是QF环当且仅当R是左Noether环,且每个有限表现左R-模是∞-余纯平坦模;R是右IF环当且仅当每个左R-模是∞-余纯平坦模;R是左CFH环当且仅当∞-余纯平坦模对子模封闭;左凝聚环R是左半遗传环当且仅当∞-余纯平坦左R-模是平坦的.     

线性J-Armendariz环

如果对任意的f(x)=a₀+a₁x, g(x)=b₀+b₁x∈R［x］, f(x)g(x)=0蕴含所有a_ib_j∈J(R), 则环R称为线性J-Armendariz环(简称LJA环）. 其中: i,j∈{0,1}; J(R)是R的Jacobson根. 考虑LJA环的性质及与其他相关环类的关系, 给出了2-primal环的无限直积非2-primal环的简单例子, 并证明了Koethe猜想有肯定解当且仅当任意NI环的多项式环是LJA环.     

Gorenstein平坦维数

设W是包含所有内射模的模类. 通过在任意结合环上引入模的覆盖W-Gorenstein平坦维数, 刻画W-Gorenstein平坦模类的投射可解性, 并证明了: 对任意R 模M和任意正整数n, 若模M的覆盖W-Gorenstein平坦维数为n, 则存在R 模的正合列0→K→H→M→0, 其中[WT]fd(K)=n-1, H是W-Gorenstein平坦模; W- Gorenstein平坦维数不超过覆盖W-Gorenstein平坦维数, 且当覆盖W-Gorenstein平坦维数有限时, 二者相等.     

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

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

有限群稳定模范畴的Bousfield等价

考虑有限群稳定模范畴的Bousfield等价关系, 证明了若H是G的强p 嵌入子群, 则两个有限生成不可分解kG 模(kH 模)是Bousfield等价的当且仅当其Green对应是Bousfield等价的, 且Green对应诱导了Stmod(kG)的全体Bousfield等价类与Stmod(kH)的全体Bousfield等价类之间的一一对应.     

素环上的一类非全局可导映射

设R是包含非平凡幂等元且有单位元的素环, Q={T∈R: T2=0}且δ: R→R是一个映射(无可加假设). 用代数分解方法证明了： 如果对任意的A,B∈R且［A,B］B∈Q, 有δ(AB)=δ(A)B+Aδ(B), 则δ是一个可加导子, 其中［A,B］=AB-BA为Lie积.     

三元多项式环中超越次数为2的收缩

设R为k［x,y,z］的收缩且其对应收缩同态为φ. 证明了如果R的超越次数为2, 且满足下列条件之一 , 则存在p,q∈R, 使得R=k［p,q］:   1) R为inert子代数, 不含坐标, 并且φ为某多项式的梯度; 2) R为2 赋值代数.     

因子von Neumann代数上的非线性斜Jordan三重可导映射

设A是Hilbert空间H上维数大于1的因子von Neumann代数. 利用代数分解的方法证明: 如果非线性映射: A →A满足对任意的[JP2]A,B,C∈A, 有(A·B·C)=(A)·B·C+[JP]A·(B)·C+A·B·(C), 则是可加的*-导子.