关于满足ACC的＊-λ-半环.pdfVIP

2010年l2月 纯粹数学与应用数学 Dec．2010 第26卷 第6期 PureandAppliedMathematics Vb1．26No．6 关于满足ACC的水一A一半环 赵春花，杨琳 (西北大学数学系，陕西 西安 710127) 摘要：从满足 ACC的任何偏序集是 pre-CPO 出发，研究了满足 ACC的偏序集上的定 向集，并由此给出满足 ACC的 一一半环的一些性质．证明了S是满足 ACC的 一一 半环，则 是局部闭 ．半环和连续 ：I：一半环．进一步得到任何满足 ACC的 一．半环 是对称 一一半环． 关键词：定向集；ACC；局部闭}一半环；连续 {一半环 中图分类号：O152．7 文献标识码：A 文章编号：1008—5513(2olo)o5—0998—07 1 引言 不动点和前不动点理论在半环代数理论中以及信息和理论计算机科学中都扮演着非常重要 的角色．许多学者对不动点和前不动点理论进行了深入的研究．一。半环是具有最小不动点的 半环，它是归纳 ：一c一半环 [1】和弱归纳 一半环的推广．在文献 [2-31中作者对 一一半环进行了 深入的研究．本文从偏序集的角度着重讨论满足 ACC的 —一半环，得到一些新的结果．本文 分成四部分：首先介绍了本文用到的基本概念；接着研究了满足ACC 的偏序集上的定向集；紧 接着给出了满足 ACC的 $．A一半环的性质，并得到 是满足 ACC的 一一半环的等价命题； 最后讨论了满足 ACC 的 一一半环的对偶问题．下面介绍基本概念． 设 S是非空集合．若在 上定义两个二元运算 “+”(通常称为加法)和 “．”(通常称为乘 法)以及两个零元运算 0(零元素)和 1(幺元素)，满足 (1)( +，0)是可换的含幺半群； (2)(S．，1)是含 幺半群； (3)对于任意 a，b，C∈S，有 c(a+b)=ca+cb，(a+b)c=ac+bc； (4)对于任意 a∈S Oa=aO=0． 则称 (S，+，．，0，1)是半环 _1J． 设 S是半环．若 S上定义了一个偏序关系 “”使得 S上的加法和乘法运算单调，即 (Ya，b，C，d∈S)a b，c d ac bd，a+C b+d， 则称 S为偏序半环．若半环 S上定义了一元运算 术：S— (通常称为星运算)，则称 为水一半 环．若偏序半环 S上定义了 一运算，则称 S为偏序 一半环．需注意偏序 一半环上的星运算 收稿 日期：2010—05．23． 基金项 目：西北大学科学研究基金 (09NW-25)． 作者简介：赵春花 (1986一)，硕士生，研究方向：代数学 第6期 赵春花 等：关于满足 ACC的 一 ．半环 并不要求是单调的． 设 S是半环．若 是满足 l+0+…+0 ：1+0+… +口+ak+ (0∈S)的最小正整 数，则称 为n的次数，记为deg(a)= ．若不存在正整数满足上式，则记deg(a)=。。．若对于 任意0∈S，deg(a)有限，则称 S为局部闭半环．若在局部闭半环 s上定义星运算为： 0=1+口+…+0 (Va∈S)， 则称 j5r为局部闭 一半环 I4J． 设 是偏序半环．对于任意 口，b∈S，称映射 厶，b：zH 口+6为 S上的仿射变换．若P∈S 满足 厶，6 )：P(，6) p)，则称P为厶，b的不动点 (前不动点)．若 厶，b的全体不动点 (前 不动点)集合存在最小元，则称其为，n，b的最小不动点 (最小前不动点)，记为 厶 ． ( )． 设 s是偏序半环．若对于任意 0，b∈S，入，。 (，d．)存在，则称 S是 入一半环 (一半环)． ． 设 s是序 一半环．若对于任意0，b∈S，A丘