On V-semirings and Semirings All of Whose Cyclic Semimodules Are Injective

In this article, we introduce and study V- and CI-semirings—semirings all of whose simple and cyclic, respectively, semimodules are injective. We describe V-semirings for some classes of semirings and establish some fundamental properties of V-semirings. We show that all Jacobson-semisimple V-semirings are V-rings. We also completely describe the bounded distributive lattices, Gelfand, subtractive, semisimple, and antibounded, semirings that are CI-semirings. Applying these results, we give complete characterizations of congruence-simple subtractive and congruence-simple antibounded CI-semirings which solve two earlier open problems for these classes of CI-semirings.     

几类加法非正则半环

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.     

Congruence openings of additive Green’s relations on a semiring

In a series of papers, Green’s relations on the additive and multiplicative reducts of a semiring proved to be a very useful tool in the study of semirings. However, in the vast majority of cases, Green’s relations are not congruences, and we show that in such cases it is much more convenient to use the congruence openings of Green’s relations, instead of the Green’s relations themselves. By means of these congruence openings we define and study several very interesting operators on the lattices of varieties of semirings and additively idempotent semirings, and, in particular, we establish order embeddings of the lattice of varieties of additively idempotent semirings into the direct products of the lattices of open (resp. closed) varieties with respect to two opening (resp. closure) operators on this lattice that we introduced.     

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.     

Invertible Matrices over Finite Additively Idempotent Semirings

We investigate invertible matrices over finite additively idempotent semirings. The main result provides a criterion for the invertibility of such matrices. We also give a construction of the inverse matrix and a formula for the number of invertible matrices.     

Congruence-simple subsemirings of ℚ+

Commutative congruence-simple semirings have already been characterized with the exception of the subsemirings of ℝ⁺. Even the class CongSimp(\mathbb Q⁺)\mathit{\mathcal{C}ong\mathcal{S}imp}(\mathbb {Q}^{+}) of all congruence-simple subsemirings of ℚ⁺ has not been classified yet. We introduce a new large class of the congruence-simple saturated subsemirings of ℚ⁺. We classify all the maximal elements of CongSimp(\mathbbQ⁺)\mathit{\mathcal{C}ong\mathcal {S}imp}(\mathbb{Q}^{+}) and show that every element of CongSimp(\mathbbQ⁺)\{\mathbbQ⁺}\mathit{\mathcal{C}ong\mathcal{S}imp}(\mathbb{Q}^{+})\setminus\{\mathbb{Q}^{+}\} is contained in at least one of them.     

坡代数上半模的基

有单位元的坡是加法幂等半环,在加法诱导的偏序下乘积小于等于每个因子。布尔代数、极大-极小模糊代数和任意分配格均是坡的特例。本文研究坡上半模的基。对于坡上的半模,标准基和基的基数一般都不是唯一的。我们引入既约基的概念并给出它的特征。既约基如果存在,则是唯一的。讨论了标准基和既约基之间的关系。     

Toward Homological Characterization of Semirings: Serre’s Conjecture and Bass’s Perfectness in a Semiring Context

Among other results on homological characterization of semirings, we prove that the classes of projective and free right (left) semimodules over the polynomial semiring R[x₁, x₂,..., x_n] over an additively regular division semiring R coincide iff R is a field. Also it is shown that an additively regular commutative semiring R is perfect (in H. Basss sense) iff R is a perfect ring.In Celebration of the Sixtieth Birthday of Ralph N. McKenzieReceived July 27, 2003; accepted in final form April 2, 2004.     

广义模糊幂零矩阵

路代数是加法幂等的半环,它包括了布尔代数,模糊代数,分配格及斜坡.因此布尔矩阵,模糊矩阵,格矩阵及斜矩阵都是路代数上的典型矩阵.广义模糊幂零矩阵指的就是路代数上的幂零矩阵.在2010年,Tan研究了路代数上矩阵的幂零性.在Tan的基础上继续讨论了路代数上幂零矩阵的幂零指数.     

Noncommuting graphs of matrices over semirings

We study diameters and girths of noncommuting graphs of semirings. For a noncommutative semiring that is either multiplicatively or additively cancellative, we find the diameter and the girth of its noncommuting graph and prove that it is Hamiltonian. Moreover, we find diameters and girths of noncommuting graphs of all nilpotent matrices over a semiring, all invertible matrices over a semiring, all noninvertible matrices over a semiring, and the full matrix semiring. In nearly all cases we prove that diameters are less than or equal to 2 and girths are less than or equal to 3, except in the case of 2×2 nilpotent matrices.     

Idempotent distributive semirings II

In [2] it is shown that every idempotent distributive semiring is the P?onka sum of a semilattice ordered system of idempotent distributive semirings which satisfy the generalized absorption law x+xyx+x=x. We shall show that an idempotent distributive semiring which satisfies the above absorption law must be a subdirect product of a distributive lattice and a semiring which satisfies the additional identity xyx+x+xyx=xyx. Using this, we construct the lattice of all equational classes of idempotent distributive semirings for which the two reducts are normal bands.     

The tensor product of function semimodules

Given two domains of functions with values in a field, the canonical map from the algebraic tensor product of the vector spaces of functions on the two domains to the vector space of functions on the product of the two domains is well known to be injective, but not generally surjective. By constructing explicit examples, we show that the corresponding map for semimodules of semiring-valued functions is in general not even injective. This impacts the formulation of topological quantum field theories over semirings. We also confirm the failure of surjectivity for functions with values in complete, additively idempotent semirings by describing a large family of functions that do not lie in the image.     

链式条件下的半环的(∈,∈∨q(λ,μ))-模糊双理想

给出双诺特半环、双阿丁半环的概念。通过使用半环的双理想族建立半环的(∈,∈∨q(λ,μ))-模糊双理想。利用(∈,∈∨q(λ,μ))-模糊双理想刻画双诺特半环、双阿丁半环。     

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.     

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.     

The variety of commutative additively and multiplicatively idempotent semirings

The variety \({\mathcal Z}\) of commutative additively and multiplicatively idempotent semirings is studied. We prove that \({\mathcal Z}\) is generated by a single subdirectly irreducible three-element semiring and it has a canonical form for its terms. Hence, \({\mathcal Z}\) is locally finite despite the fact that it is residually large. The word problem in \({\mathcal Z}\) is solvable.     

MV-semirings and their Sheaf Representations

In this paper we show that the classes of MV-algebras and MV-semirings are isomorphic as categories. This approach allows one to keep the inspiration and use new tools from semiring theory to analyze the class of MV-algebras. We present a representation of MV-semirings by MV-semirings of continuous sections in a sheaf of commutative semirings whose stalks are localizations of MV-semirings over prime ideals. Using the categorical equivalence, we obtain a representation of MV-algebras.     

半环的L-模糊理想的范畴性质

首先给出了半环的L-模糊理想同态的定义,在此基础上较系统地讨论了半环的L-模糊理想范畴的性质,证明了此范畴是半环范畴上的一个拓扑结构,并探讨了其中的等子、拉回和乘积等性质.另一方面,给出了半环的L-模糊理想范畴的逆系统的定义,建立了半环的L-模糊理想范畴中逆系统的逆极限结构.特别是在引入两个逆系统之间映射的基础上,得到了两个逆系统的逆极限之间的极限映射.