关于富足半群和模糊正则半群的研究

论文摘要

“半群代数理论”在计算机科学、信息科学的推动下，经过六十余年的系统研究，已成为“代数学”中一个独具特色的学科分支。它与“群论”的关系类似于“环论”与“域论”的关系。这一地位的确立不仅在于一批系统的研究成果的出现，更在于一套独特的系统研究思路和方法的形成。 半群理论家说过：半群同余理论是半群代数理论中最深刻和最精彩的部分。特别是在Zadeh引入了模糊集的概念后，模糊关系也随之产生了。如同在研究一般半群的结构理论一样，我们可从半群的模糊理论出发研究其模糊性质，包括讨论半群上的模糊同余关系及其由模糊同余关系所确定的商半群等理论，基于这样的思想Kuroki将半群的同态基本定理推广到更一般的、内涵更丰富的同态定理。一般半群上模糊同余的深入研究并非易事，近年来人们主要考虑了逆半群模糊同余的刻画以及正则半群的模糊同余性质等。 本文主要研究几类富足半群的结构性质，并通过模糊同余关系研究了正则半群上的模糊结构理论。具体工作如下： 1．由于郭小江教授在文献[27]中证明了任何一个IC拟适当半群均是型-W半群。自然地，在广义正则半群的意义下，借助于Hall’s半群WB、幂等元带B及两个逆半群T和WB/γ之间的同态ψ构造出的纯整半群H（B，WB/γ，ψ），文中证明了织积S=（T，WB/δ，ψ）是一个型-W半群，其中ψ是从型-A半群T到WB/δ的幂等元分离好同余，且每个型-W半群均可如此构造。接着给出了两个型-W半群同构的充分必要条件。最后利用好同余证明了在富足半群意义下的满足正则性条件幂等元提升引理。这一引理正是Lallement’s引理的自然推广。 2．定义了一类F-富足半群，即对x∈S，满足|U*（x）|=1的一类IC-拟适当半群，称之为u-IC拟适当半群，结合富足半群上的自然偏序关系给出了这类半群的诸多性质。利用半群S上的自同构幺半群End（S）定义了半直积S×ΦT，其中Φ是从T到End（S）的幺同态，S是半群，T是幺半群。接下来证明了当B是一个含恒等元i的带，M是一个消去幺半群，则半直积B×ΦM是一个u-IC拟适当半群，其中Φ是从M到Aut（B）的幺同态。最后得到关于u-IC拟适当半群的结构定理。即如上构造的半直积是u-IC拟适当半群；反之，任何一个u-IC拟适当半群均可如此构造。 3．给出了比u-IC拟适当半群更广泛的一类IC富足半群，称之为α-IC拟

论文目录

• 符号说明
• 摘要
• ABSTRACT
• 第一章 绪论
• §1.1 引言
• §1.2 二元关系与模糊关系
• §1.3 正则半群与富足半群
• §1.4 模糊子半群与模糊同态
• §1.5 内容安排
• 第二章 型-W半群的同构问题
• §2.1 预备知识
• §2.2 同构问题
• §2.3 同构意义下的型-W半群
• 第三章 幂等元连接的拟适当半群
• §3.1 预备知识
• §3.2 u-IC拟适当半群的定义及性质
• §3.3 半直积
• §3.4 结构定理
• 第四章 一类幂等元连接的拟适当半群的结构
• §4.1 预备知识
• §4.2 α-IC拟适当半群的定义
• §4.3 α-IC拟适当半群的特性
• §4.4 结构定理
• 第五章 模糊正则半群及模糊逆半群同余
• §5.1 半群上的模糊同余
• §5.2 几类模糊正则半群
• §5.3 半群上的模糊逆半群同余
• §5.4 逆半群上的几类模糊关系
• 第六章 几类正则半群上的模糊同余对
• §6.1 预备知识
• §6.2 逆半群的模糊同余对
• §6.3 完全正则半群的模糊同余对
• §6.4 纯整半群的模糊同余对
• 结束语
• 致谢
• 参考文献
• 在读博士期间撰写（发表）的论文
• 在读博士期间主持、参加的科研项目
• 在读博士期间获奖情况