纯粹半群上的强同余及其格.pdf

纯正半群上的强同余及其格 基础数学专业 研究生朱浸华指导老师喻秉钧 摘要：在本文中，其商半群为逆半群的同余称为强同余．本文的目的是研究 纯正半群上的强同余及其格．全文分为六节：第一节给出强同余的定义和若干 等价条件，并指出纯正半群上的所有强同余构成该半群同余格的完备子格；第 二节刻画与强同余对应的核一迹同余对一正规迹，正规子半群及其相互关系(称 为强同余对)，由此给出纯正半群上任一强同余的结构，并证明强同余格和强同 余对的集合之间——对应；第三节讨论由纯正半群的任一正规述所决定的完备 子格，给出了该子格的最大，最小元的结构．进而还讨论了由*求迹”运算确 定的强同余格的(完备格)同余T，证明了每个D类都是一个模格；第四节讨 论由纯正半群的正规子半群决定的交完备子格的结构及由”求核”运算确定的 (交完备格)同余置的若干性质；第五节刻画具有T关系的两个强同余的联和 交的正则核正规系，并把舶iny对逆半群的幂等元集合的正规划分的概念推广 到纯正半群，并用它从另一角度刻画了纯正半群上强同余的结构；最后一节讨 论纯正半群上的cli舫喇同余(即，其商半群为c珏珏啪半群的同余jI给出了最 小cli肋柑同余的刻画．还顺带讨论了群同余． 关键词：强同余，强同余对，幂等元纯同余，正则核正规系，正规划分，cH助fd 同余，群同余． 中圉分类号；0152．了 oNAN THESTRoNGCONGRUENeESoRTHoDoX AND LATTICE SEMIGROUPTHE ABSTRACT hthis也e豳，acongrunoePon to i8 im哪e ajm0f也eth鹤i8 the 印10tient鼬migrollp纠p．璩an8emigrollp．The s七udy 0f co越isted strong an thektjce th锄．The con∞mo瞪onorthDd强s锄l运印np柚d ha8 lthe characteriz扣 th镪is 8j】【8e啪i咖．In辨ction de丘njti。咀姐d鞠啊虹equjwd棚1t S a：b congmn嘲on姐嘶hodoxare咖n．Iti8po．mted ti0璐of日伽ng se血每roup the au formsa out也atset complete叭bhttice 3tr咖唔cong即皿c鹤oⅡS CP(s)of ofthe lattice s．In8ection congr啪pairs c衄掣uence c(固of 2，the‰l-trace tothe corr唧ondingstrong the beh_een ch对瓠协i掰d． _订th rd‰ion8hipth艇n(髑