关于可换群的完整子半群的扩张

研究可换群的完整子半群的性质，并进一步讨论其扩张问题，得出了若干结论。     

E*-酉范畴逆半群的一个表示定理

本文,我们对带零逆半群定义了0-对偶预同态的概念,并且用0-对偶预同态刻画了E*-酉范畴逆半群。     

一类核具有连续横截面变换半群的秩

设X_n={1,2,…,n}并赋予自然数序,MCK_n是X_n上核具有连续横截面保序或反序变换所构成的半群.K_n是MCK_n的最大正则子半群.本文将考虑K_n的理想K(n,r)={α∈K_n:|im(α)|≤r}(3≤r≤n-1).证明了K(n,r)的秩为(n-r+1)(n-r+2)(n-r+3)/6.     

一类双曲型方程的Hamilton算子半群方法

将一类双曲型方程混合问题转换成一阶抽象Cauchy问题,证明所得Hamilton算子矩阵H在相应空间中生成压缩半群,并借助Fourier变换,采用一致连续半群做逼近的方法,得到H所生成的压缩半群,进而给出了问题的古典解.     

基于格半群的有限状态自动机的同态

本文研究了格值有限状态自动机(LFSA)的同态和强同态及其性质.利用强同态概念,在格值有限状态自动机的状态集上建立了一种等价关系,得到了格值有限状态自动机的商自动机,证明了商自动机与强同态像自动机同构.     

类型μ恰当半群的结构(英文)

本文的目的是用可消幺半群的强半格和基本恰当半群建立一类恰当半群的结构.首先,引入了类型μ恰当半群,然后构造了一类代数,Y-积.证明了每个Y-积是类型μ恰当半群;反之,每个类型μ恰当半群同构于一个Y-积.     

全序幂等元剩余格

研究了全序幂等元剩余格,给出了全序幂等元剩余格的另一种新的构造方法,并且得到了这类剩余格的结构定理,推广了相关文献的结论．     

Harnack and HWI inequalities on infinite-dimensional spaces

In this paper, the dimensional-free Harnack inequalities are established on infinite-dimensional spaces. More precisely, we establish Harnack inequalities for heat semigroup on based loop group and for Ornstein-Uhlenbeck semigroup on the abstract Wiener space. As an application, we establish the HWI inequality on the abstract Wiener space, which contains three important quantities in one inequality, the relative entropy “H”, Wasserstein distance “W”, and Fisher information “I”.     

Congruence triples on regular semigroups and their generalizations

In this paper, we introduce the concept of VT-congruence triples on a regular semigroup S and show how such triples can be constructed by using the equivalences on S/ℒ, S/R and the special congruences on S. Also, such congruence triples are characterized so that an associated congruence can be uniquely determined by a given congruence triple. Moreover, we also consider the VH-congruence pairs on an orthocryptogroup.