E-理想拟正则半群

本文定义了一类拟正则半群,所谓E-理想拟正则半群;给出了它以及它的两类特殊情形(E-左正则性拟正则半群,E-半格性拟正则半群)的特征;建立了它们的结构定理,并作为推论获得了左正则带的结构以及带的已知结构(文献[1],Petrich,1967)。     

拟完全纯整半群到拟群的半格(矩阵)-矩阵(半格)分解

本文利用半群研究中的同余方法,刻划了拟完全纯整半群的特征和结构。在若干准备之后,分别讨论了拟完全纯整半群上的半格同余和矩阵同余,在此基础上建立了拟完全纯整半群到拟群的所谓半格(矩阵)-矩阵(半格)分解,且给出了在纯整半群上的完整的推论,最后,还就拟群的特征和结构作了专门的讨论。     

左Clifford半群的特征与结构

作为Clifford半群的推广,本文定义了左Clifford半群,给出了它的许多特征,建立了它的半格分解结构和ξ直积结构。还讨论了两类特殊情形。     

半群的广义Clifford定理

令U为U-半富足半群的投射元集合.每个H-类含投射元的U-富足半群称为U-超富足半群.这种半群是完全正则半群和超富足半群在U-半富足半群类中的一个共同推广.1941年,Clifford证明了半群S为完全正则半群,当且仅当S为完全单半群的半格.40多年后,Fountain将这一结果推广到了超富足半群上.本文关于U-超富足半群得到了广义Clifford定理.这一结果分别以Clifford和Fountain的上述结果为其推论.     

Clifford拟正则半群

作为Ｃｌｉｆｆｏｒｄ半群在拟正则半群范围内的推广，本文定义了Ｃｌｉｆｆｏｒｄ拟正则半群，给出了它的若干特征，建立了它的θ－积结构，同时，又给出了它为拟群的强半格的充要条件．     

强可识语言族

<正> ∑为一有限集,∑~*表示∑生成的自由单子,∑~*的元素与子集分别称为∑上的字与语言,2~(∑~*)表示∑~*的幂集,(?)(∑)=2~(∑~*)-{(?)}的子集称为∑上的语言族.在人工智能中一些问题的推动下,1974年 Havel 等人开创了语言的分支代数结构的研究.Havel 在[1]中定义了有限分支自动机,从而导致了作为有限分支自动机识别的所谓可识语言族的研究;Havel 在[2]中又引进了语言的相似度概念,进而定义了语言之间的一种距离,使((?)(∑),d)成一距离空间;[2]中还定义了语言族的一种替换性,并证明了,语言族是自相容的,当且仅当它具替换性且为(?)(∑)中的闭集.     

左C─半群的又一结构

作为Ｃｌｉｆｆｏｒｄ半群的推广的左Ｃｌｉｆｆｏｒｄ半群（左Ｃ─半群）已有一ξ─积结构。本文给出了左Ｃ─半群的另一结构，所谓△─积结构，它的一个特殊情形恰好为左群的强半格。这一新结构为半群的Ｃｌｉｆｆｏｒｄ层次的研究伸展到拟正则半群领域奠定了基础。     

关于S-正则语言类的两点注记

文献[1]引入和研究了S-正则语言及其语言类的代数结构.本文作为对[1]的两点注记,讨论了S-正则语言类与语言的Chomsky层次之间的关系,以及上的等价关系≈.     

强右型-A半群的平移壳 *

证明了强右型-A(C-rpp)半群的平移壳仍为强右型-A(C-rpp)半群 .     

关于基础课程教材的现代化处理

以编著"高等代数"面向二十一世纪教材《线性代数导引》和对其第二版(英文版)的修订为例,从以下五个方面探讨基础课程教材的现代化处理:经典内容的尽量更新;经典内容的适当增新;增加一点公理化方法的对比使用;加强与初等数学内容的联系;加强理论与其背景的联系和强化核心概念.