几类加法非正则半环

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.     

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.     

On additively regular seminearrings

The most natural seminearrings, i.e., the seminearrings of all self-maps of additive semigroups are necessarily multiplicatively regular but they need not be additively regular. The purpose of this paper is to investigate additively regular seminearrings. We mainly focus on the study of congruences in various types of additively regular seminearrings such as additively inverse, additively Clifford and Bandelt seminearrings. We deduce that for a restricted type of additively inverse seminearrings there exists an inclusion preserving bijective correspondence between the set of all normal congruences and that of all full k-ideals. Finally, we characterize those seminearrings which are the subdirect product of a distributive lattice and a zero symmetric near-ring.     

E-inversive semigroups with a completely simple kernel

We show that an E-inversive semigroup S has a completely simple kernel K_S if and only if it contains a primitive idempotent (in that case, K_S is the set-theoretic union of the groups eSe, where e is a primitive idempotent of S). Along the way, some equivalent conditions for a semigroup to be E-inversive are given. Moreover, some applications of the above theorem will be pointed out.     

Direct sums of injective semimodules and direct products of projective semimodules over semirings

We prove that if the direct sum of a family of semimodules over a semiring S is an injective semimodule or if the direct product of a family of semimodules over S is a projective semimodule, then the cardinality of the subfamily consisting of all semimodules which are not modules is strictly less than the cardinality of S. As a consequence, we obtain semiring analogs of well-known characterizations of classical semisimple, quasi-Frobenius, and one-sided Noetherian rings.     

Serial rings and subdirect products

A basic Artinian serial ring can be realized as the subdirect product of factor rings of (S, M)-upper triangular matrix rings with S a local Artinian ring and M the maximal ideal of S. As an application the serial subdirect product of (S, M)-rings is shown to have self-duality.     

On Classes of E-Inversive Semigroups and Semigroups Whose Idempotents Form a Subsemigroup

Abstract

A semigroup S is called E-inversive if for every a ∈ S there is an x ∈ S such that ax is idempotent. The purpose of this paper is the investigation of E-inversive semigroups and semigroups whose idempotents form a subsemigroup. Basic properties are analysed and, in particular, semigroups whose idempotents form a semilattice or a rectangular band are considered. To provide examples and characterizations, the construction methods of generalized Rees matrix semigroups and semidirect products are employed.     

The lattice of idempotent distributive semiring varieties

A solution is given for the word problem for free idempotent distributive semirings. Using this solution the latticeL (ID) of subvarieties of the variety ID of idempotent distributive semirings is determined. It turns out thatL (ID) is isomorphic to the direct product of a four-element lattice and a lattice which is itself a subdirect product of four copies of the latticeL(B) of all band varieties. ThereforeL(ID) is countably infinite and distributive. Every subvariety of ID is finitely based. Project supported by the National Natural Science Foundation of China (Grant No. 19761004) and the Provincial Applied Fundamental Research Foundation of Yunnan (96a001z).     

Completely Arithmetical Rings

We introduce a type of commutative ring R in which its ideal lattice has a strong form of the distributive property. We show that if R is reduced, then it is a semilocal von Neumann regular ring. In this case, we show that the K ₁ group of this ring has a relatively simple structure.     

Weakly Special Classes of Semiprime Rings

This paper investigates closure properties possessed by certain classes of finite subdirect products of prime rings. If ℳ is a special class of prime rings then the class ℳ_∞ of all finite subdirect products of rings in ℳ is shown to be weakly special. A ring S is said to be a right tight extension [resp. tight extension] of a subring R if every nonzero right ideal [resp. right ideal and left ideal] of S meets R nontrivially. Every hereditary class of semiprime rings closed under tight extensions is weakly special. Each of the following conditions imposed on a semiprime ring yields a hereditary class closed under right tight extensions: ACC on right annihilators; finite right Goldie dimension; right Goldie. The class of all finite subdirect products of uniformly strongly prime rings is shown to be closed under tight extensions, answering a published question. This revised version was published online in June 2006 with corrections to the Cover Date.     

On semirings whose additive reduct is a semilattice

A semiring S whose additive reduct is a semilattice is called a k-regular semiring if for every a∈S there is x∈S such that a+axa=axa. For a semigroup F, the power semiring P(F) is a k-regular semiring if and only if F is a regular semigroup. An element e∈S is a k-idempotent if e+e ²=e ². Basic properties of k-regular semirings whose k-idempotents are commutative have been studied.     

On the applicability to semirings of two theorems from the theory of rings and modules

Problems concerning the extension of the Baer criterion for injectivity and embedding theorem of an arbitrary module over a ring into an injective module to the case of semirings are treated. It is proved that a semiring S satisfies the Baer criterion and every S-semimodule can be embedded in an injective semimodule if and only if S is a ring.     

Standard Bases of a Vector Space Over a Linearly Ordered Incline

Inclines are additively idempotent semirings, in which the partial order ≤ : x ≤ y if and only if x + y = y is defined and products are less than or equal to either factor. Boolean algebra, max-min fuzzy algebra, and distributive lattices are examples of inclines. In this article, standard bases of a finitely generated vector space over a linearly ordered commutative incline are studied. We obtain that if a standard basis exists, then it is unique. In particular, if the incline is solvable or multiplicatively-declined or multiplicatively-idempotent (i.e., a chain semiring), further results are obtained, respectively. For a chain semiring a checkable condition for distinguishing if a basis is standard is given. Based on the condition an algorithm for computing the standard basis is described.     

Divisibility theory in commutative rings: Bezout monoids

A ubiquitous class of lattice ordered semigroups introduced by Bosbach, which we call Bezout monoids, seems to be the appropriate structure for the study of divisibility in various classical rings like GCD domains (including UFD??s), rings of low dimension (including semi-hereditary rings), as well as certain subdirect products of such rings and certain factors of such subdirect products. A Bezout monoid is a commutative monoid S with 0 such that under the natural partial order (for a, b ?? S, a ?? b ?? S ? bS ? aS), S is a distributive lattice, multiplication is distributive over both meets and joins, and for any x, y ?? S, if d = x ?? y and dx ₁ = x then there is a y ₁ ?? S with dy ₁ = y and x ₁ ?? y ₁ = 1. We investigate Bezout monoids by using filters and m-prime filters, and describe all homorphisms between them. We also prove analogues of the Pierce and the Grothendieck sheaf representations of rings for Bezout monoids. The question whether Bezout monoids describe divisibility in Bezout rings (rings whose finitely generated ideals are principal) is still open.     

On S-duo rings

A unital left R-module R M is said to have property (S) if every surjective endomorphism of R M is an automorphism, the ring R is called left (right) S-ring if every left (right) R-module with property (S) is Noetherian, R is called S-ring if it is both a left and a right S-ring. In this note we show that a duo ring is a left S-ring if and only if it is left Artinian left principal ideal ring. To do this we shall construct on every non distributive Artinian local ring with radical square zero a non-finitely generated module with property (S). And we give an example of left duo left Artinian left principal ideal ring which is not a left S-ring, showing the necessity of the ring to be duo in the above result.     

Subdirect products of hereditary congruence lattices

A congruence lattice L of an algebra A is called power-hereditary if every 0-1 sublattice of Lⁿ is the congruence lattice of an algebra on Aⁿ for all positive integers n. Let A and B be finite algebras. We prove

Idempotent semirings with a commutative additive reduct

For every semigroup S , we define a congruence relation ρ on the power semiring (P(S),\cup,\circ) of S . If S is a band, then P(S)/ρ is an idempotent semiring . This enables us to find models for the free objects in the variety of idempotent semiring s whose additive reduct is a semilattice. December 28, 1999