任意阶Thue-Morse语言的性质及等周轮廓

令S_m是m阶的Thue-Morse序列(由m个字母构作的一种无限字),F_(Sm)是由S_m的所有有限子字构成的语言,称其为Thue-Morse语言.证明了S_m是强立方自由的,并在此基础上证明了F_(Sm)的等周轮廓是常数.     

对农业资本存量K估算的文献综述

对农业资本存量的估算方法进行了比较,并对各方法的估算结果进行了评价。     

Rees矩阵定理的简明刻画

完全0-单半群的Rees矩阵表示定理通常用三元组表述,在1977年Clifford和Petrich使用的二元组表示的基础上,给出了该定理的一个较为简洁的处理.     

元素个数不大于5的次直积不可约带

利用加细半格作为主要工具,从半群的元素个数和半群的半格结构入手,给出了元素个数不大于5的次直积不可约带的一个分类,证明了这样的互不同构的次直积不可约带仅有13种.     

正则密码群并半群的两个等价刻画

借助同余和关系同态,证明了以下3条性质在完全正则半群S= (Y;Sα)上等价:?S是正则密码群并半群; ? ?a∈S,等价关系ρa = {(x,y)∈S×S :(axa)0 = (aya)0}是S上的同余;? ?α,β∈Y,α≥β,存在关系 同态Φα,β:Sα ρα, → β 2Sβ ,使得 ?a∈Sα,b∈Sβ,有ab = (aΦb α,β)b,且ba =b(aΦb α,β).     

纯正群并半群簇和密码群并半群簇的上确界

在完全正则半群簇的子簇格中,首先用等式((x0y0)0z0)0 = (x0(y0z0)0)0 定义了一个子簇,并举例说明它是 完全正则半群簇的真子簇,追加等式x(yz)0x(yz)0 = (yz0)0x(yz)0 和(xy)0z(xy)0z = (xy)0z(x0y)0z,定义前一 子簇的又一子簇,并举例说明这3个等式相互独立,证明了这3个等式恰好给出了纯正群并半群簇和密码群并半群 簇的上确界.