差半环的结构欧启通（厦门理工学院数理系福建厦门，361024）摘要.doc

PAGE 8 PAGE 9 差 半 环 的 结 构 欧 启 通 （厦门理工学院数理系 福建厦门，361024） 摘要:借助泛代数的思想方法,引入了半环上两类同余概念. 在此基础上,提出了半环的两类差半环的概念，讨论了两类差半环的性质,证明了半环上的所有加法可消弱同余之集关于集合的包含关系构成完全格. 同时，得到了两类差半环的结构. 关键词:半环;理想;强同余;弱同余；差半环 中图分类号：O153.3 文献标识码：A 文章编号： 在信息科学与计算机科学迅速发展的推动下,关于半环理论及其应用的研究正在不断深入进行.有关这些情况,近年来,国内外已有很多专著出版[1,2].半环的子半环与理想是半环的两个重要子系统，而定义于理想概念基础上的同余关系也是重要的理论之一. 这几年来，国内对这方面的研究也越来越多. 文[3-7]对某些拟正则半环、分配半环或其他各类半环上的同余进行了刻画；文[8]、[9]研究了一类半环上可除半环同余的几种等价形式；文[10]讨论了双半环上的同余的性质；文[11]定义了纯整环并半环上的同余对，得到了纯整环并半环上的每个同余都被其上的同余对所唯一确定；文[12]、[13]定义了半环的星同余，得到了半环的星结构. 本文主要以泛代数的观点作指导,借助半群与半模理论的思想方法,提出了半环上两类差半环的概念,讨论了差半环的性质, 证明了半环上的所有加法可消弱同余之集关于集合的包含关系构成完全格，得到了两类差半环的结构定理. 1 预备知识 定义1[2] 设是一个非空集合.若在中定义两个代数运算“+”与“”,使（,+）作成交换半群,（,）作成半群,并且“”对“+”的两个左右分配律都成立,则称为半环,记为（,+,）. 若半群（,）也是交换半群,则称（,+,）为交换半环. 若半群（,+）是幺半群,则称（,+,）为含零元的半环. 本文所述的半环均指含零元的半环.子半环，理想，同余，同态等的定义可参见文献[2]. 命题1[2] 设是半环上的一个等价关系,则以下命题是等价的: 1)是半环上的一个同余; ______________________________________ 基金项目：福建省自然科学基金资助项目(Z0511050)、福建省教育厅自然科学基金A类资助项目（JA06047） 作者简介：欧启通（1971-??，男，福建尤溪人，副教授，硕士，研究方向：半环理论与自动机. 2)若，则; 3)是幺半群上的同余，又是半群（,）上的同余. 定义2[2] 设是半环上的同余,在商集中定义运算如下: ，，, 则作成半环,称之为关于同余的商半环. 2 差半环的结构 命题2 设是半环的理想，在上规定二元关系 : 存在使, :存在使, 则是上的同余关系，而是上具有加法消去律的同余关系. 证明: 是上的同余关系的证明与的证明类似且更简单. 这里只证明是上具有加法消去律的同余关系. 对任意，则存在,,使得，所以有；若,则存在，，使得，则有，因此有；若,,则存在,使得, ，所以有，变形可得,由于，因此可推出，于是是等价关系. 又若,，则存在，，使得，，所以，由于 ,，得；另一方面,，，由于 ，所以有,.再由传递性知, ,所以是上的同余. 若,，则，+ ，其中，，于是 ,即,由于, 所以.于是具有加法消去律. 定义3 称（）为模的强（弱）同余，称模的商半环为模的差半环,记为；称模的商半环为模的加法可消差半环,记为. 命题3 设是半环的理想，则 1）是的零元，并且它是的包含的理想； 2）是的零元，并且它是的包含的理想. 以后也记，，并称为在中的弱(强)闭包. 证明:1）对任意，其中. 取中的任意元，中任意元，则，所以，即，因此. 同理，,所以，又，所以，即. 同理可证,,所以. 因此是的零元. 任意,,则，所以， ,所以，因此是的理想. 又对任意的，则,所以. 因此. 2）可类似地证明. 定义4 若，则称是的弱闭理想；若，则称为的强闭理想. 显然，当时，，而；但当时，有. 命题4 设均是的理想，且，则，． 证明: 对任意，则存在，使得，由，所以，因此，于是．类似的可证． 命题5 设是的理想，记，．则对于的理想和，如果，则，． 证明: 对任意，则存在，使得． 由于，得，于是，因此．同理可证． 定理1 设是一个半环，记， 则构成一个完全格． 和分别是的最小元和最大元． 证明：由命题5, 是偏序集． 对于任意加法可消弱同余，，是它们的最大下界，是它们的最小上界，其中是的生成理想． 显然中有最大元，最小元．因此（，）作成完全格． 命题6 设是的理想，若，则． 证明:若，有，则存在，使，则，, 于是存在使，因此． 命题7 设是的理想，则 1）当且仅当； 2）当且仅当． 证明:1）由命题6