Locally Closed Semirings and Iteration Semirings

Locally closed semirings, iteration semirings and Conway semirings play an important role in the algebraic theory of semirings and theoretical computer science. Z. ésik and W. Kuich showed that a locally closed commutative semiring is an iteration semiring (is also a Conway semiring). By study of polynomial semirings and matrix semirings, we obtain new expressions of certain polynomials and show that all matrix semirings over a locally closed semiring are also locally closed, and so a locally closed semiring (which need not be commutative) is an iteration semiring.     

Dualities Induced by Topological Semirings

In this paper we establish a general duality theorem for compact Hausdorff spaces being recognizable over certain pairs consisting of a commutative unital topological semiring and a closed proper prime ideal. Indeed, we utilize the concept of blueprints and their localization to prove that the category of compact Hausdorff spaces generated by such a pair can be dually embedded into the category of commutative unital semirings if the pair possesses sufficiently many covering polynomials.     

Locally Closed Semirings

 We call a semiring S locally closed if for all a ∈ S there is some integer k such that 1 + a + ⋯ + a ^k  =1 + a + ⋯ + a ^k + 1 . In any locally closed semiring we may define a star operation a ↦ a ^*, where a ^* is the above finite sum. We prove that when S is locally closed and commutative, then S is an iteration semiring.     

几类加法非正则半环

In this paper, we introduce Green＇s .-relations on semirings and define [left, right] adequate semirings to explore additively non-regular semirings. We characterize the semirings which are strong b-lattices of [left, right] skew-halfrings. Also, as further generalization, the semirings are described which are subdirect products of an additively commutative idempotent semiring and a [left, right] skew-halfring. We extend results of constructions of generalized Clifford semirings （given by M. K. Sen, S. K. MaRy, K. P. Shum, 2005） and the semirings which are subdirect products of a distributive lattice and a ring （given by S. Ghosh, 1999） to additively non-regular semirings.     

序半环的序理想

An ordered semiring is a semiring S equipped with a partial order ≤ such that the operations are monotonic and constant 0 is the least element of S.In this paper,several notions,for example,ordered ideal,minimal ideal,and maximal ideal of an ordered semiring,simple ordered semirings,etc.,are introduced.Some properties of them are given and characterizations for minimal ideals are established.Also,the matrix semiring over an ordered semiring is consid-ered.Partial results obtained in this paper are analogous to the corresponding ones on ordered semigroups,and on the matrix semiring over a semiring.     

Locally Closed Semirings

 We call a semiring S locally closed if for all a ∈ S there is some integer k such that 1 + a + ⋯ + a ^k  =1 + a + ⋯ + a ^k + 1 . In any locally closed semiring we may define a star operation a ↦ a ^*, where a ^* is the above finite sum. We prove that when S is locally closed and commutative, then S is an iteration semiring. Partially supported by grant no. T30511 from the National Foundation of Hungary for Scientific Research and the Austrian–Hungarian Bilateral Research and Development Fund, no. A-4/1999, and by the Austrian–Hungarian Action Foundation. Partially supported by the Austrian–Hungarian Bilateral Research and Development Fund, no. A-4/1999, and by the Austrian–Hungarian Action Foundation. Received March 16, 2001     

Regularity Criterion for Complete Matrix Semirings

Necessary and sufficient conditions for the regularity of complete matrix semirings over an arbitrary semiring are obtained.     

Congruence-Simple Semirings

Several classes of congruence-simple semirings are characterized and various further examples are constructed. Among others, it is shown that every congruence-simple semiring fits into one of the following three classes: additively idempotent semirings, additively cancellative semirings, additively nil-semirings of index 2.     

一类幂等半环的性质和结构

研究了加法半群为半格的半环类S+l中的乘法带半环和矩形带半环类BR中的乘法带半环;给出了ID半环中乘法带半环的结构定理,即ID∩.■°D=.■z∨.■z∨D.     

半环上的粗糙集

利用同余关系把粗糙集理论引入到半环里,给出了半环中的一个子集的上,下近似的概念,并研究了其一系列性质;另外我们还讨论了半环中的粗糙理想及性质.     

Varieties of idempotent semirings with commutative addition

The multiplicative reduct of an idempotent semiring with commutative addition is a regular band. Accordingly there are 13 distinct varieties consisting of idempotent semirings with commutative addition corresponding to the 13 subvarieties of the variety of regular bands. The lattice generated by the these 13 semiring varieties is described and models for the semirings free in these varieties are given. Received April 22, 2004; accepted in final form June 3, 2005.     

Semirings of Formal Power Series

Semirings of formal power series over semirings, in particular, over k-semifields, are studied. It is also shown that the semiring of formal power series S[[x]] over a k-semifield S becomes a local semiring. Moreover, the Jacobson radical of S[x]] over a k-semifield S is described.AMS Subject Classification (1991): Primary 16Y60     

On Iteration Semiring-Semimodule Pairs

Conway semiring-module pairs and iteration semiring-semimodule pairs were shown to provide an axiomatic basis to automata on ω -words in [Bloom, Esik: Iteration Theories, Springer, 1993]. In this paper, we show that two natural classes of semiring-semimodule pairs, the complete and the bi-inductive semiring-semimodule pairs both give rise to iteration semiring-semimodule pairs. Complete semiring-semimodule pairs are defined by infinite sums and products, while a bi-inductive semiring-semimodule pair is an ordered semiring-semimodule pair possessing enough least pre-fixed points and greatest post-fixed points to solve linear inequations. Moreover, we show that when V is idempotent, then a semiring-semimodule pair equipped with a star and an omega operation satisfies the Conway equations (iteration semiring-semimodule pair equations, respectively) if and only if the quemiring associated with (S,V) embeds in a Conway semiring (iteration semiring, respectively).     

A Characterization of Semirings Which Are Subdirect Products of a Distributive Lattice and a Ring

E -inversive semiring and a Clifford semiring and show that a semiring S is a subdirect product of a distributive lattice and a ring if and only if S is an E-inversive strong distributive lattice of halfrings. Further a Clifford semiring which is, in fact, an inversive subdirect product of a distributive lattice and a ring, is characterized as a strong distributive lattice of rings. Finally, as a consequence of these results we extend a result of Galbiati and Veronesi [2] in the case of Boolean semirings.     

乘法半群为左正规纯正群的半环

研究了加法半群为半格,乘法半群为左正规纯正群的半环．证明了此类半环（S,＋,．）可以嵌入到半格（S,＋）的自同态半环中．构造S的一个特定的偏序关系,得到了（S,·）上的自然偏序与所构造偏序相等的等价条件．     

Existentially Complete Nerode Semirings

Let Λ denote the semiring of isols. We characterize existential completeness for Nerode subsemirings of Λ, by means of a purely isol-theoretic “Σ₁ separation property”. (A “concrete” characterization that is not Λ-theoretic is well known: the existentially complete Nerode semirings are the ones that are isomorphic to Σ₁ ultrapowers.) Our characterization is purely isol-theoretic in that it is formulated entirely in terms of the extensions to Λ of the Σ₁ subsets of the natural numbers. Advantage is taken of a special kind of isol first conjectured to exist by Ellentuck and first proven to exist by Barback (unpublished). In addition, we strengthen the negative part of [13] by showing that existential completeness is not secured, for a given Nerode semiring, by either (i) a certain “functional closure” property for the extensions of partial recursive functions or (ii) the property of “pulling in” some portion of each partial recursive fiber; these latter results are perhaps a little surprising.     

Cyclic semirings with idempotent noncommutative addition

The article discusses the structure of cyclic semirings with noncommutative addition. In the infinite case, the addition is idempotent and is either left or right. Addition of a finite cyclic semirings can be either idempotent or nonidempotent. In the finite additively idempotent cyclic semiring, addition is reduced to the addition of a cyclic subsemiring with commutative addition and an absorbing element for multiplication and the addition of a cycle that is a finite semifield.