关于满足ACC的*-λ-半环On *-λ-semirings satisfing ACC
赵春花;杨琳;
摘要(Abstract)：
从满足ACC的任何偏序集是pre-CPO出发,研究了满足ACC的偏序集上的定向集,并由此给出满足ACC的*-λ-半环的一些性质.证明了S是满足ACC的*-λ-半环,则S是局部闭*-半环和连续*-半环.进一步得到任何满足ACC的*-λ-半环是对称*-λ-半环。
关键词(KeyWords)： 定向集;ACC;局部闭*-半环;连续*-半环
基金项目(Foundation): 西北大学科学研究基金(09NW-25)
作者(Authors): 赵春花;杨琳;
参考文献(References)：
- [1]E′sik Z,Kuich W.Inductive*-semiring[J].Theoretical Compute Science,2004(324):3-33.
- [2]Feng F,Zhao X Z,Jun Y B.*-λ-semiring and *-μ-semiring[J].Theoretical Compute Science,2005(347):423-431.
- [3]Feng F,Zhao X Z,Jun Y B.On *-λ-semiring[J].Information Sciences,2007(177):5012-5023.
- [4]Zhao X Z.Locally closed semiring and Iteration semiring[J].Monatshefte fu¨r Mathematik,2005(144):157-167.
- [5]Davey B A,Priestly H A.Introduction to Lattice and Order[M].Cambridge:Cambridge University Press,1990.
- [6]Droste M,Kuich W.Semirings and Formal power series[J].New York:Springer,1997.