关于积分C半群

本文研究C具非稠值域时的积分C半群,得到一些基本结果,主要包括积分C半群生成定理的Laplace刻划、积分C半群与C半群的联系、有界扰动定理及抽象Cauchy问题的应用.     

半群成群的几个充要条件

从不同的角度给出了（有限）半群成群的几个充要条件.     

关于m-序半群

将m-半群的有关结果推广到m-序半群上,证明了m-序半群是指数不超过5的带零周期序半群.     

关于阿基米德半群的子半群

本文讨论阿基米德半群的子半群,主要结论是:(1)若有限半群S的真子半群都是阿基米德半群,则S是阿基米德半群或|s|=2.(2)周期阿基米德半群的子半群是阿基米德半群。     

拓扑迁移半群迁移的判定

文章研究了由拓扑迁移作用在有限维向量空间上的线性变换所组成的半群,给出了一个拓扑迁移半群迁移的判定定理,这改进了已有结果．     

幺逆半群的Rees矩阵半群的平移壳

研究了幺逆半群的Rees矩阵半群的平移壳的结构．利用映射,给出了幺逆半群的Rees矩阵半群的平移壳的两个结构定理,推广了已知的群上的Rees矩阵半群的平移壳的结果．     

纯正半群的几个充要条件

扩充了用逆元集V(a)的特征刻划纯正半群的充要条件;给出一系列用弱逆之集W(a)的特征刻划纯正半群的充要条件;讨论了逆半群的几个新的充要条件.     

关于线性变换半群的某些子半群

讨论了线性变换半群的若干子半群的正则性。     

一个变换半群的同余(英文)

设X是一个集合,|X|>3,TX为集合X上的全变换半群.设E为X上的一个等价关系,TE(X)={f∈TX:(x,y)∈E■(f(x),f(y))∈E}为由等价关系E决定的TX的一个子半群.记T2(X)={f∈TE(X):|f(X)|≤2}∪{id},这里id表示X上的恒等映射,则T2(X)是TE(X)的一个子半群.另外还描述了半群T2(X)上的几个同余.     

命题公式的一种演绎判定方法

命题公式的判定是人工智能领域中的一个核心问题。目前命题公式的判定方法大都是基于语义的,不能给出演绎过程,而这种演绎过程是许多推理性应用的重要依据,本文针对命题演算系统L,给出了一种可同时给出演绎过程的判定方法——演绎判定方法。首先提出了消解复杂性的两种范式：最简范式和文字范式,在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P(F),并基于ML语言设计了基于P(F)的演绎判定机DMBD。     

一类变换半群的变种半群的格林关系

设X是一个非空集合。E、F是集合X上两个非平凡等价关系且假设EF,在已有的保持两个等价关系的变换半群TFE(X)基础上,规定新的运算,得出保持两个等价关系的变换半群TFE(X)的变种半群。利用格林关系的定义,描述了这类半群中一般元素间的格林关系。     

F-富足半群

主要是通过引入了预同态这一新的概念阐述F-富足半群的结构.     

一类完全Archimedean半群的构造

利用同构映射构造出一类完全Archimedean半群,并且讨论了它的同余形式及群同余.     

Ehresmann型wrpp半群的最小C-wrpp半群同余

定义Ehresmann型wrpp半群,它是纯正群并在wrpp半群类中的推广,给出了此类半群的最小C-wrpp半群同余。     

幂等元集为左正则带的lpp半群

研究幂等元集为左正则带的lpp半群,引入这类半群的恰当断面的概念,定义断面S0与左零半群的半格I的半直积I×σS0,证明了I×σS0是幂等元集为左正则带的lpp半群且具有同构于S0的恰当断面.从而推广了Saito T(1989)中关于具有逆断面的左逆半群的结构定理.     

弱左-C-Ehresmann半群的若干刻划

本文给出弱左-C-Ehresmann半群的若干刻划。     

有限对称逆半群的类A子半群

设In是集Xn={1,2,…,n）上的对称逆半群,设σ包含于Xn×Xn且σ={（n,n-1）,…,（3,2）,（2,1））,令Iσ={α∈In： x,y∈dom α,（x,y）∈σ=〉（xa,ya）∈σ）∪{Φ},在此证得Iσ是In的一个类A子半群,进一步研究了Lσ的Green＊关系．