交换幺半群及其局部化的同余

本文研究了交换幺半群A上同余和其局部化As上同余之间的关系(s为A的子幺半群)我们还给出了当子幺半群S满足条件(C)时,A上同余格和As上同余格之间一个同构映射并证明了它可保持可消同余、本原同余、素同余、最小半格同余、最小可分同余。     

关于非交换幺半群的局部化

局部化是交换代数中的一个重要工具,[1]中将局部化推广到交换幺半群中。本文将局部化又进一步推广到非交换幺半群中,证明了非交换幺半群在它的中心子幺半群的局部化的存在唯一性,并讨论了非交换幺半群的局部化的若干性质。     

C-rpp半群的局部化

得到了C-rpp半群在幂等元半格上的局部化在同构的意义下存在惟一,并证明了其局部化为仅有一个幂等元(即幺元)的左可消幺半群,从而证明了Clifford半群在其幂等元半格上的局部化为群.     

关于半群的局部化

局部化是交换代数中的重要研究方法．将局部化概念推广到交换半群S上,得到了S上若干局部性质,这对用局部化方法研究半群很有意义．     

半群关于自身的局部化

证明丰群A关于自身局部化A_A是其极大Abel群同态象,这时A的象集恰为A的极大可消半群象。还进一步证明,如果S为A的理想且为内区,则S关于S的局部化恰好等于A关于A的局部化。最后证明了交换逆半群关于幂等无半格的局部化同构于其关于本身的局部化。     

纯正半群的局部化

本文证明了纯正么半群在其幂等元带上的局部化存在唯一,且证明了它是其最大群同态象.     

弱Clifford拟正则半群的局部化

本文给出了弱Ｃｌｉｆｆｏｒｄ拟正则半群在幂等元半格上的局部化在同构意义下存在唯一，并证明了其局部化为其最大群同态象．     

正则L半群上局部右逆半群的序定理特征

本文给出了Ｌ半群的定义的和一个例子，并且证明了在正则Ｌ半群上，≤＝≤ｅ，当且仅当这个半群是局部在逆半群，这≤和≤ｅ分别由Ｎａｍｂｏｏｒｉｐｒｅｄ；ｌａｗｓｏｎ给出。     

GV－逆半群的局部化及应用

证明了ＧＶ－逆半群Ｓ在其正则元集合ＫｅｇＳ所生成的子半群（ＲｅｇＳ）上的局部化在同构意义下存在唯一，且为其最大群同态象。由此又可得到Ｓ的最小群同余．     

关于可逆半群的局部化

本文讨论可逆半群S在幂等元半格E上的局部化的存在和唯一,然后讨论其与S的最小群同余之间的关系。     

Abel加半群局部化及性质

本文将Abel加半群引入一种局部化方法,建立了局部化与张量积的关系,证明了平坦半群的局部化也平坦,并证明局部化函子是正合的共变函子且自然等价于一个单侧张量积函子.     

半群的拟直积

引进了一种新的半群合成方法：拟直积,给出了它的基本性质。     

C lifford半群理想的内射性

研究了Clifford半群及其理想的内射性质,得到了Clifford半群关于理想的内射性同调分类,并对自内射的Clifford半群给出了刻画.     

C-rpp半群的半直积

在rpp半群范围内讨论半群的半直积,给出了两个一般半群的半直积是C-rpp半群的充要条件,推广了该领域的一些研究成果.     

线性算子半群的新的生成定理

证明了一个连续函数成为某个函数ｆ（ｔ）的Ｌａｐｌａｃｅ变换的一个新的充要条件，从而得到了不同于Ｈｉｌｌｅ－Ｙｏｓｉｄａ定理的算子半群生成定理。     

A集的局部化

本文在 A 集范畴 Ens-A 中引入局部化的概念.证明了如果 A 集 M 是内射(右投射、平坦),则其局部化后得到 S~(-1) A 集 S~(-1) M 也是内射(右投射、平坦),并由此推出如果交换幺半群 A 是完全内射(完全投射,绝对平坦)的.则半群局部化 S~(-1) A 亦分别具有上述性质.同时本文证明了对于 A 集 M 和 N,及 A 的子半群 S(S 满足条件:■_(S1,S2) ∈S,存在■ y ∈A,使得 ys_1=ys_2 ∈S)有 S~(-1) A 同构:S~(-1) (M■ N)≌S~(-1) M■S~(-1) N.     

半群的拟直积合成

笔者在给出半群的拟直积定义的基础上,主要研究了两个半群所属类型和它们的拟直积所属半群类型之间的关系,并讨论了商半群的拟直积.     

一类超富足半群的结构

推广了通常的半群的强半格分解的定义,得到ρＧ－强半格的定义,并用ρＧ－强半格分解研究了＾＊－Ｇｒｅｅｎ关系Ｘ＾＊分别是正则带同余、右（左）拟正规带同余和正规带同余的超富足半群的半格分解问题。     

关于变换半群的子群结构

本文主要讨论变换半群的子群的性质和结构,得到的主要结果是:定理1 设B是A的一个非空子集,H是M(B)的一个子群,则有M(A)的子群G使得G_B=H且G与G_B同构。定理2 (1)设G是M(A)的一个子群,e是G的单位元,则G是M(A)的一个极大子群当且仅当G_Ae=∑_(Ae)。(2)M(A)的任何两个不同的极大子群之交是空集。