集合上的正合列和幺半群的半直积-基础数学专业论文.docxVIP

摘 摘 要 本文由两章组成 第一章讨论了一般集合上的正合列．把模论中的图追踪、五引理、马蹄引理 推广到一般的情形． 第二章研究幺半群的半直积．给出了半直积是完全单半群的刻划，并得到半 直积是完全正则半群的一个充分条件． ABSTRACT This thesis consisits of two chapters． In chapter 1，we study the exact sequences on sets．As a result，the Graph Chas- ing、the Five Lemma、the Horseshoe Lemma in module theory axe generalized． In chapter 2，we review the semidirect product of monoids．A characterization for a semldirect product of monoids to be completely simple is given and a sufficient condition for a semidirect product of monoids to be completely regular is also obtained． 2 刖 刖 言 半群代数理论是上世纪50年代发展起来的一个代数学分支，它在自动化理 论、计算机科学、组合数学、代数表示论、算子代数和概率论等方面都有广泛的应 用，因此引起了越来越多的数学家的重视．对半群的研究方法大体可分为两种， 其一为半群的内部结构如理想、同余以及特殊元素等出发研究半群的结构与特 征；其二为从半群的外部环境如同余格、S-系范畴等出发研究半群的内部特征． 本文共分为两章，分别讨论了集合上的正合列和幺半群的半直积 第一章主要讨论了集合上的正合列．在模论中，正合列是研究函子问题的基 本工具．文[2]给出了关于模的正合交换图的几个著名引理(如“Five Lemma”)， 作为更一般意义上的推广，这一章定义了集合上的短正合列：设A，B，G为集合， f，g为映射，若，是单射，g是满射，且K，。，=ker9，则称序列A—0 B—与C是短 正合列，其中Km，=(f(A)×，(A))U EB，kerg={(61，b2)∈B×BI，(61)一，(62))jEB 是B上的恒等关系．并讨论了在任意集合上有关正合列的图追踪、五引理以及 马蹄引理，推广了『212中的对应结论，上述结果在半群的s一系理论中也有应用． 本章的主要内容已在“青海师范大学学报”2004年第4期发表([14】)． 第二章讨论了幺半群的半直积．半群的半直积在半群理论中有着丰富的内 容．1960年，Neuman B．H．在[8]中首次提出了半群的半直积，从此开创了半群 的半直积的研究．给定两个幺半群ST，o：S_÷End(T)：s_÷a(s)∈End(T)是给 定的同态，对任意的s∈S，t∈T，以t5表示t在o(s)下的象，在S x T上定义乘 法：(s，t)(s7，t7)=(887，tot，){此乘法满足结合律，S x T关于该乘法构成半群，称 这个半群为s和T关于a的半直积，记为S×。T从半直积的定义可以看到它是 由两个幺半群和给定的同态映射a共同决定的，既然这样，很自然想到当Sx。T 是一些特殊的幺半群时对两个么半群s，T以及给定的同态映射a有什么要求? 于是，1983年，Nico在[4]中研究了两个幺半群的半直积是正则半群和逆半群 的情况，得出了结论：(1)半直积S x。T是正则半群当且仅当(i)S，T都是正则 半群；(ii)任意s∈S，t∈T，存在e∈E(s)，使得Ss=Se，且t∈UT．(2)2 S×。T 是逆半群当且仅当(i)S，T都是逆半群；(ii)任意e EE(s)，t∈T，有t=t8．在正 则半群的基础上，1988年，Satio在[5]讨论了纯正半群的情况．接着，山东工 业大学秦静在【6]中又进一步讨论了clifford半群的情形．由于圈积是半直积的特 殊情况，上述结论在圈积中均成立．近几年来，山东师范大学的张玉芬等(『9．13]) 3 在这方面又做了很多工作，刻划了半直积为clifford拟正则半群、弱clifford拟正 在这方面又做了很多工作，刻划了半直积为clifford拟正则半群、弱clifford拟正 则半群、”．纯正半群、，．拟正则半群、左(右)逆半群、左(右)clifford半 群、左(右)群等的情况，丰富了半直积的内容．本章运用与上面类似的方法， 考虑到完全正则半群和完全单半群与正则半群的关系，得出了S×。T是完全正 则半群的充分条件： (i)任意t∈T，存在t’E T使得tt’t=t，tt7=tit，且对任意 s