强共归纳数据类型上的Comonadic共递归

针对共归纳数据类型上的unfold无法描述带参数的共递归计算的问题,首先证明了笛卡尔封闭范畴上的终结共代数是强终结的,并给出强共归纳数据类型的范畴论定义及其上一种带固定参数的共递归——punfold,使得共归纳数据类型上的共递归计算可以包含额外的参数作为计算的输入;然后利用基于Comonads的Comonadic共递归给出了unfold和punfold的一种统一的描述,并进一步分析了punfold上的各种计算律,从而将Pardo对基于Comonads的带参数的递归计算研究扩展到共归纳数据类型.     

关于代数体函数增长级的讨论

在一种新定义的代数体函数的加法和乘法的基础上,进一步讨论了代数体函数的和、差、积、商的级与原代数体函数的级的关系,即文中定理1、定理2和定理3.     

差分方程Xi＋1=λxi＋f（xi）的周期解与函数f的Lipschitz常数

记L(p)表示x_(i_1)=λx_i+f(x_i)有p-周期解时函数f的Lipschitz常数的下确界。对λ>1及任意整数p>1,求出了L(p)的值:当p为偶数时,L(p)=1+λ;当p为奇数时,L(p)=t_p,其中t_p是多项式ψ_p(t)=l-[t~3-λt~2-(入~2+2)t+λ~3](t-λ)~(p-3)的最大实根。     

BCI—代数的弱直和与正则可裂同态

本文引入正则可裂同态、正则可裂正合序列等概念,刻画了BCI-代数的弱直和并讨论了弱直和与外直和的关系.     

Rota-Baxter 3-李超代数

通过定义Rota-Baxter 3-李超代数,以及在Rota-Baxter李超代数和Rota-Baxter pre-李超代数上重新定义偶线性映射,给出构造Rota-Baxter 3-李超代数的方法.     

UHF代数中的有限CSL代数的闭Lie理想

本文描述了UHF代数B中的有限CSL代数Alg(M)的闭Lie理想。证明了Alg(M)中的闭子空间L是Alg(M)的闭Lie理想当且仅当存在Alg(M)的闭结合理想J和Alg(M)的对角部分的中心的子空间E使得(J)0■L■J+E,其中(J)0是J中迹为0的元素的集合。     

偶圈的Turán数和Wenger图

设G是一个图,G的Tur(a)n数记作ex(n;G),是指阶数为n的不含G作为子图的图的最大边数.根据Erd(o)s在1965年给出的偶圈C2m的Tur(a)n数ex(n;C2m)的上界10mn1+1/m和Wenger在1991年构造的偶图Hm(q),并由这种图得到的ex(n;C2m)(m=2,3,5)的下界cn1+1/m(其中c为一个与n无关的常数),可以知道,当n→+∞时,ex(n;C2m)=O(n1+1/m)(m=2,3,5).n1+1/m就是ex(n;C2m)的准确阶.给出了Wenger图Hm(q)的一些一般性质,并分别构造了Hm(q)中长为8的圈(m≥4)和Hm(q)中长为12的圈(m≥6), 从而证明了不可能由图Hm(q)得到ex(n;C2m)的所有准确阶.     

软代数的素理想与同余关系的注记

讨论了非分配软代数F的素理想表示同余关系的问题，指出非分配软代数F的同余关系θ可素理想表示的充要条件是F／θ是软代数，以Con(F)表示F的同余关系格，PCon(F)表示F的全体可由素理想表示的同余关系，证明了按照Con(F)中偏序关系，PCon(F)构成Con(F)的一个子格，并且PCon(F)可嵌入于F的全体素理想集Z（F）的对偶幂集格^↑P（Z（F））中。     

完备李超代数

对完备李代数进行系统研究之后,它的一些结果推广到与李代数密切相关的李超代数上,形成了完备李超代数。但完备李超代数的研究仅仅是开始,简要介绍了完备李超代数的较为系统的研究。