H-%27%23--富足半群.pdfVIP

摘要 摘要 “半群代数理论”在计算机科学、信息科学的推动下，经过六十余年的系统研究，己成 为“代数学”中一个独具特色的学科分支．它在形式语言、自动机等领域都有具体的应用． 它与“群论”的关系类似于“环论”与“域论”的关系．这一地位的确立不仅在于一批系统的 研究成果的出现，更在于一套独特的系统研究思路和方法的形成．富足半群是二十世纪七 十年代发展起来的以J下则半群为真子类的广义证则半群．目自订有关这类半群的研究也同 益增多．本论文我们将从半群的定义与性质着手，着重研究几类H4一富足半群的性质及 其半格分解等，具体可以分为以下几个部分来加以研究： 1．本论文的第一章为绪论，我们先在第一节简单介绍半群理论的起源与发展过程，国 内外目前的研究动态以及取得的相关成就，明确本论文要做的工作及存在的问题等．第二 节列举本论文中要用到的一些半群中基础的定义与性质，例如正则半群与完全正则半群 的定义、矩阵带、同构、自然序等．要研究半群的性质，同余是必不可少的内容，所以在第 三节中我们来介绍等价关系和同余关系，并证明与同余有关的定理．另外，研究半群的一个 重要目的就是研究它们的结构，半群的强半格分解是半群最好的结构分解之一，为了便于 比较说明在本章的最后一节，我们将会给出强半格的定义与推广