On Inverse Transversals of Ordered Regular Semigroups

We first consider an ordered regular semigroup S in which every element has a biggest inverse and determine necessary and sufficient conditions for the subset S ^○ of biggest inverses to be an inverse transversal of S. Such an inverse transversal is necessarily weakly multiplicative. We then investigate principally ordered regular semigroups S with the property that S ^○ is an inverse transversal. In such a semigroup we determine precisely when the set S ^☆ of biggest pre-inverses is a subsemigroup and show that in this case S ^☆ is itself an inverse transversal of a subsemigroup of S. The ordered regular semigroup of 2 × 2 boolean matrices provides an informative illustrative example. The structure of S, when S ^☆ is a group, is also described.     

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.     

Archimedean ordered semigroups as ideal extensions

The main result of the paper is a structure theorem concerning the ideal extensions of archimedean ordered semigroups. We prove that an archimedean ordered semigroup which contains an idempotent is an ideal extension of a simple ordered semigroup containing an idempotent by a nil ordered semigroup. Conversely, if an ordered semigroup S is an ideal extension of a simple ordered semigroup by a nil ordered semigroup, then S is archimedean. As a consequence, an ordered semigroup is archimedean and contains an idempotent if and only if it is an ideal extension of a simple ordered semigroup containing an idempotent by a nil ordered semigroup.     

Intuitionistic fuzzy semiprime ideals in ordered semigroups

We give characterizations of different classes of ordered semigroups by using intuitionistic fuzzy ideals. We prove that an ordered semigroup is regular if and only if every intuitionistic fuzzy left (respectively, right) ideal of S is idempotent. We also prove that an ordered semigroup S is intraregular if and only if every intuitionistic fuzzy two-sided ideal of S is idempotent. We give further characterizations of regular and intra-regular ordered semigroups in terms of intuitionistic fuzzy left (respectively, right) ideals. In conclusion of this paper we prove that an ordered semigroup S is left weakly regular if and only if every intuitionistic fuzzy left ideal of S is idempotent.     

Unary Semigroups with an Associate Subgroup

A subgroup H of a regular semigroup S is said to be an associate subgroup of S if for every s ∈ S, there is a unique associate of s in H. An idempotent z of S is said to be medial if czc = c, for every c product of idempotents of S. Blyth and Martins established a structure theorem for semigroups with an associate subgroup whose identity is a medial idempotent, in terms of an idempotent generated semigroup, a group and a single homomorphism. Here, we construct a system of axioms which characterize these semigroups in terms of a unary operation satisfying those axioms. As a generalization of this class of semigroups, we characterize regular semigroups S having a subgroup which is a transversal of a congruence on S.     

A Principle for Critical Point Under Generalized Regular Constraint and Ill-Posed Lagrange Multipliers Under Nonregular Constraints

In this article, a kind of nonregular constraint and a principle for seeking critical point under the constraint are presented, where no Lagrange multiplier is involved. Let E, F be two Banach spaces, g: E → F a c ¹ map defined on an open set U in E, and the constraint S = the preimage g ^?1(y ₀), y ₀ ∈ F. A main deference between the nonregular constraint and regular constraint is that g′(x) at any x ∈ S is not surjective. Recently, the critical point theory under the nonregular constraint is a concerned focus in optimization theory. The principle also suits the case of regular constraint. Coordinately, the generalized regular constraint is introduced and the critical point principle on generalized regular constraint is established. Let f: U → ? be a nonlinear functional. While the Lagrange multiplier L in classical critical point principle is considered, its expression is given by using generalized inverse g′⁺(x) of g′(x) as follows: if x ∈ S is a critical point of f| _S , then L = f′(x) ○ g′⁺(x) ∈ F*. Moreover, it is proved that if S is a regular constraint, then the Lagrange multiplier L is unique; otherwise, L is ill-posed. Hence, in case of the nonregular constraint, it is very difficult to solve Euler equations; however, it is often the case in optimization theory. So the principle here seems to be new and applicable. By the way, the following theorem is proved: if A ∈ B(E, F) is double split, then the set of all generalized inverses of A, GI(A) is smooth diffeomorphic to certain Banach space. This is a new and interesting result in generalized inverse analysis.     

Embedding Semigroups with Associate Subgroups into Semidirect Products

A semigroup S is said to have an associate subgroup G if, for each s ∈ S, there is a unique s* ∈ G such that ss*s = s. If the identity 1 _G of G is medial, i.e., c1 _G c = c holds for each c being a product of idempotents, we show that S is isomorphic to a certain subsemigroup of a semidirect product of an idempotent generated semigroup C by G. If additionally S is orthodox, we may choose C to be a band, belonging to the band variety, generated by the band of idempotents of S.     

Zero-Semidistributive Inverse Semigroups

An inverse semigroup S is said to be 0-semidistributive if its lattice ?F (S) of full inverse subsemigroups is 0-semidistributive. We show that it is sufficient to study simple inverse semigroups which are not groups. Our main theorem states that such a simple inverse semigroup S is 0-semidistributive if and only if (1) S is E-unitary, (2) S is aperiodic, (3) for any a,b ∈ S/σ with ab ≠ 1, there exist nonzero integers n and m such that (ab) ^m  = a ⁿ or (ab) ^m  = b ⁿ , where σ is the minimum group congruence on S.     

Regular Semigroups Each of Whose Least Completely Simple Congruence Classes Has a Greatest Element

A regular semigroup S is termed locally F-regular, if each class of the least completely simple congruence ξ contains a greatest element with respect to the natural partial order. It is shown that each locally F-regular semigroup S admits an embedding into a semidirect product of a band by S/ξ. Further, if ξ satisfies the additional property that for each s ∈ S and each inverse (sξ)′ of sξ in S/ξ the set (sξ)′ ∩ V(s) is not empty, we represent S both as a Rees matrix semigroup over an F-regular semigroup as well as a certain subsemigroup of a restricted semidirect product of a band by S/ξ.     

Special subgroups of regular semigroups

Extending the notions of inverse transversal and associate subgroup, we consider a regular semigroup S with the property that there exists a subsemigroup T which contains, for each x∈S, a unique y such that both xy and yx are idempotent. Such a subsemigroup is necessarily a group which we call a special subgroup. Here, we investigate regular semigroups with this property. In particular, we determine when the subset of perfect elements is a subsemigroup and describe its structure in naturally arising situations.     

On Some Monogenic Semigroups with an Associate Subgroup

Let S be any semigroup and a, s ∈ S. If a = asa, then s is an associate of a. A subgroup G of S is an associate subgroup of S if every a ∈ S has a unique associate a* in G. It turns out that G = H _z for some idempotent z, the zenith of S. The mapping a → a* is a unary operation on S. We say that S is monogenic if S is generated, as a unary semigroup, by a single element.

We embark upon the problem of the structure of monogenic semigroups in this sense by characterizing monogenic ones belonging to completely simple semigroups, normal cryptogroups, orthogroups, combinatorial semigroups, cryptic medial semigroups, cryptic orthodox semigroups, and orthodox monoids. In each of these cases, except one, we construct a free object. The general problem remains open.     

Semiprimitivity of Orthodox Semigroup Algebras

Let S be a finite orthodox semigroup or an orthodox semigroup where the idempotent band E(S) is locally pseudofinite. In this paper, by using principal factors and Rukolaǐne idempotents, we show that the contracted semigroup algebra R₀[S] is semiprimitive if and only if S is an inverse semigroup and R[G] is semiprimitive for each maximal subgroup G of S. This theorem strengthens previous results about the semiprimitivity of inverse semigroup algebras.     

Range-Inclusive Maps in Rings with Idempotents

Let 𝒜 be a ring, let ? be an 𝒜-bimodule, and let 𝒞 be the center of ?. A map F:𝒜 → ? is said to be range-inclusive if [F(x), 𝒜] ? [x, ?] for every x ∈ 𝒜. We show that if 𝒜 contains idempotents satisfying certain technical conditions (which we call wide idempotents), then every range-inclusive additive map F:𝒜 → ? is of the form F(x) = λx + μ(x) for some λ ∈ 𝒞 and μ:𝒜 → 𝒞. As a corollary we show that if 𝒜 is a prime ring containing an idempotent different from 0 and 1, then every range-inclusive additive map from 𝒜 into itself is commuting (i.e., [F(x), x] = 0 for every x ∈ 𝒜).     

On Pseudo-Almost Valuation Domains

Let R be an integral domain with quotient field K and integral closure R ^′. Anderson and Zafrullah called R an “almost valuation domain” if for every nonzero x ∈ K, there is a positive integer n such that either x ⁿ  ∈ R or x ^?n  ∈ R. In this article, we introduce a new closely related class of integral domains. We define a prime ideal P of R to be a “pseudo-strongly prime ideal” if, whenever x, y ∈ K and xyP ? P, then there is a positive integer m ≥ 1 such that either x ^m  ∈ R or y ^m P ? P. If each prime ideal of R is a pseudo-strongly prime ideal, then R is called a “pseudo-almost valuation domain” (PAVD). We show that the class of valuation domains, the class of pseudo-valuation domains, the class of almost valuation domains, and the class of almost pseudo-valuation domains are properly contained in the class of pseudo-almost valuation domains; also we show that the class of pseudo-almost valuation domains is properly contained in the class of quasilocal domains with linearly ordered prime ideals. Among the properties of PAVDs, we show that an integral domain R is a PAVD if and only if for every nonzero x ∈ K, there is a positive integer n ≥ 1 such that either x ⁿ  ∈ R or ax ^?n  ∈ R for every nonunit a ∈ R. We show that pseudo-almost valuation domains are precisely the pullbacks of almost valuation domains, we characterize pseudo-almost valuation domains of the form D + M, and we use this characterization to construct PAVDs that are not almost valuation domains. We show that if R is a Noetherian PAVD, then R has Krull dimension at most one and R ^′ is a valuation domain; we show that every overring of a PAVD R is a PAVD iff R ^′ is a valuation domain and every integral overring of R is a PAVD.     

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.     

On Ordered Semigroups Containing Covered Ideals

A proper ideal M of an ordered semigroup (S, ·, ≤) is said to be a covered ideal of S if M ? (S(S?M)S], i.e., if for any x in M, there exist a, c in S and b in S?M such that x ≤ abc. The purpose of this article is to study the structure of ordered semigroups containing covered ideals. The results obtained generalize the results on semigroups (without order) studied by Fabrici in 1984.     

Globals of Idempotent Semigroups

If S is a semigroup, the global (or the power semigroup) of S is the set P(S) of all nonempty subsets of S equipped with a naturally defined multiplication. A class K of semigroups is globally determined if any two semigroups of K with isomorphic globals are themselves isomorphic. We study properties of globals of idempotent semigroups and show, in particular, that the class of normal bands is globally determined.     

On Solvable R* Groups of Finite Rank

Abstract

For an element a of a group G,let S(a) denote the semigroup generated by all conjugates of a in G. We prove that if G is solvable of finite rank and 1 ? S(a) for all 1 ≠ a ∈ G,then ?a ^G ?/?b ^G ? is a periodic group for every b ∈ S(a). Conversely if every two generator subgroup of a finitely generated torsion-free solvable group G has this property then G has finite rank,and if every finitely generated subgroup has this property then every partial order on G can be extended to a total order.     

The Zero-Divisor Graphs Which Are Uniquely Determined By Neighborhoods

A nonempty simple connected graph G is called a uniquely determined graph, if distinct vertices of G have distinct neighborhoods. We prove that if R is a commutative ring, then Γ(R) is uniquely determined if and only if either R is a Boolean ring or T(R) is a local ring with x² = 0 for any x ∈ Z(R), where T(R) is the total quotient ring of R. We determine all the corresponding rings with characteristic p for any finite complete graph, and in particular, give all the corresponding rings of K_n if n + 1 = p^q for some primes p, q. Finally, we show that a graph G with more than two vertices has a unique corresponding zero-divisor semigroup if G is a zero-divisor graph of some Boolean ring.