关于格群的若干结果(3)

本文(3)讨论了基部适合降链条件的格群的构造,并在本文(1)(2)的基础上,从某种意义上说,将正整数的全体按照通常的乘法形成的半群上的最大公因子与最小公倍元的概念推广到正有理数的全体按照通常的乘法运算的群上。这是把格群理论用到数论上得到的一些结果。基部适合降链条件的格群定理1,设格群 L 的基部 L~+适合降链条件,又设 s 为 L~+的所有原子元的集,那末,的任一元 x 除去恒等元素的因子不计外,可唯一地表示为如下的形式     

关于格群的若干结果(1)

我们把格群 L 的正元的全体构成的集称为这个格群的基部,如[1]中那样,记作 L~+.本文讨论了格群与其基部的关系,其中的定理1′刻画了格群的元与基部的元之间的密切关系,这也是格群内部结构的基本特征。[1]中指出格群的任一元可表示为一正元与一正元的逆元的积,本文在此基础上提出了格群的元的标准式的概念,证明了格群的元用标准式表示的唯一性。这一性质在以后将被使用到(如本文(2)、(3)那样)。     

强可收缩半群

设S为半群 ,H为S的子半群 ,称H是S的一个缩回 ,若存在满同态 φ :S→H满足 φ｜H =1H(H上的恒等映射 ) ,称半群S是强可收缩的 ,若S的每个子半群都是S的一个缩回 .首先证明了群G为强可收缩半群的充要条件为G是一族初等Abel群的限制直积 ,接着得到完全单半群S强可收缩的充要条件是S G× (I×Λ) ,其中G为强可收缩群 ,I×Λ是矩形带 .还证明了一个半格是强可收缩半群的充要条件是它为局部有限树 .在这些结论的基础上最后得到一个半群是强可收缩半群的完整刻划 .     

可消幺半群的格林关系

探讨了可消幺半群上的格林关系,尤其是L关系,研究了可消幺半群S中的正则元群G,并且G是S上的幺正子半群.     

逆适当半群

通过刻画逆适当半群的一些性质,给出了一个富足半群是逆适当半群的充要条件是对于正则元a,b ∈S,a的预逆与b的预逆的积是ba的预逆.同时,给出了逆适当半群的自然偏序的性质.     

拟纯正半群的E-酉拟纯正盖

对任一拟纯正半群S,利用S(视为集合)上自由群G和半群的关系同态理论构作一个半群胚C,证明群G自由可迁地作用在C上.由此得到一个幺半群C1及半群P=C1\{1C1}.证明P是E-酉拟纯正半群,G是P的最大群同态像,且S是P的幂等元分离同态像.从而,证明任意的拟纯正半群都存在给定群G上的E-酉拟纯正盖.     

关于格序群的理想根

Paul conrad 在研究格群的完全分配性时,引入了理想根的概念,本文详细讨论了理想根的性质,得出的主要结果是:(1),若a为格群G的本质元,则a亦为任何包含a的l-理想的本质元:     

序半群的K-理论

设S为幺半群,1为其单位元,B是非空集合.若有映射(S在B上的作用)S×B→B满足s(tb)=(st)b,1b=b,其中s,t∈S,b∈B,则称B为(左)S-系.宋光天利用有限生成投射S-系讨论了半群的Grothendieck群和Whitehead群.在文[6]中,作者给出了无零元序幺半群S上的投射序S-系的结构.本文首先利用不可分强凸子系给出了序S-系的分解定理,然后给出了投射序S-系的结构,最后讨论了序半群上的Grothendieck群.     

剩余格中的Fuzzy(P)滤子

在剩余格中引入了Fuzzy(P)滤子的概念,得到A是Fuzzy(P)滤子的充要条件是当λ∈[0,1]且Aλ≠时,Aλ是(P)滤子;在正则剩余格中引入了素Fuzzy(P)滤子的概念,证明了正则剩余格中的Fuzzy(P)滤子A是素Fuzzy(P)滤子的充要条件为a、b∈L,A(a b)=A(a)∨A(b)等结论.     

TE(X)的由幂等元生成的子半群

设X为有限集合,()X为X上的全变换半群,设E为X上任一非平凡等价关系,变换半群TE(X)定义为TE(X)={f∈()X:()(a,b)∈E,(f(a),f(b))∈E}.讨论了半群TE(X)的由幂等元生成的子半群T2,以及由亏值为1的幂等元作为生成元时,T2的极小生成元集,并且求出了这个极小生成集的元素个数.     

关于半群环的主理想升链条件

本文对交换半群环的主理想升链条件进行了讨论,通过对半群的性质以及半群与半群环之间的相互关系,再利用半群环中的半群只有一个可逆元的情形下的升链条件的充要条件,在半群是交换无挠可消摹群,且存在完全不可逆生成集的条件下得到一个关于半群环的主理想升链条件的一个充要条件.     

有限对称逆半群的群元的中心化子的同构

设Cn为有限集Xn={1,2…,n}上的对称逆半群,且ξ,σ∈Cn.ξ,σ均为群元。该文得到了ξ的中心化子C（ξ）＝{a∈Cn}aξ=ξa与σ＝{β∈Cn}｜βσ＝σβ同构的充要条件。     

M={a,b}分裂有限群的判别法

本文给出了 M={α,b}分裂 n 阶有限群 G 的充要条件为(α.n)=1,(b,n)=1及对 n 的任一个素因子 p,α—1b关于模 p 的方次数为偶数。     

非平凡向量空间稳定子的刻划

利用Pauli群的子群可成为非平凡向量空间的稳定子的充要条件,刻划了Pauli群G1的子群能成为非平凡向量空间Vs稳定子的所有稳定子,并由此得到对于Pauli群Gn而言,构成非平凡向量空间Vs稳定子的生成元中算子的性质.     

保等价关系变换半群TE(X)的秩

设TX为集合X上的全变换半群,E为X上一个非平凡的等价关系.令TE(X)={f∈TX∶(a,b)∈E■(af,bf)∈E}则它在映射的合成运算下做成TX的一个子半群.称TE(X)为保等价关系变换半群.现讨论对于一个特殊情况,即X是有限的且E只有两个等价类,分别含有r,l(l>r>1)个元.我先讨论同胚群G的秩,然后考虑的TE(X)秩.结果发现,这时TE(X)有一组生成元,含有Crl+7个元素,从而确定了TE(X)的秩不超过Crl+7.     

图的[a,b]因子

设a≤b为非负整数,图G的一个支撑子图F称为G的一个[a,b],若对于任意v∈V(G),都有a≤dF(v)≤b.在文中,首先通过运用Hall定理,给出了一个图含有[a,b]的一个充分条件;其次,利用Lovasz定理,分析了图G的因子与非支撑子图的因子之间的关系,并由此得到了图G的极小因子的一个判定条件.     

可消半环的格林关系

探讨了可消半环的格林关系,尤其是L-关系,证明了可消半环R中的正则元集合G是一个乘法群,并且G是R的幺正子半群.     

每一子半群都是双理想的半群

本文给出了正则半群每一子半群都是双理想的半群的必要条件,及讨论了某些正则半群成为C0-半群的充要条件.     

部分变换半群的几类子半群

设Xn为集合,P(Xn)表示集合Xn上部分变换做成的半群.对部分变换半群P(Xn)的一个由子集生成的子半群进行了研究,根据定义,讨论了这类半群的某些性质,给出了它为左零半群、右零半群、完全单半群的充要条件,所得结果推广了若干已知结果.     

完全单半群上同余的核迹方法

完全单半群可表示为群上的Rees矩阵半群M(G,I,Λ;P),文中给出了两个集合E、F,进而利用E、F上的同余和G的正规子群构成的所谓同余三元组抽象地表示这类半群上的同余,并且给出了同余格上T类和K类中的极大元和极小元.