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.     

A Note on Semigroup Algebras of Permutable Semigroups

Let S be a semigroup and 𝔽 be a field. For an ideal J of the semigroup algebra 𝔽[S] of S over 𝔽, let ?_J denote the restriction (to S) of the congruence on 𝔽[S] defined by the ideal J. A semigroup S is called a permutable semigroup if α ○ β = β ○ α is satisfied for all congruences α and β of S. In this paper we show that if S is a semilattice or a rectangular band then φ_{{S; 𝔽}}: J → ?_J is a homomorphism of the semigroup (Con(𝔽[S]); ○ ) into the relation semigroup (?_S; ○ ) if and only if S is a permutable semigroup.     

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.     

Regular F-Abundant Semigroups

ABSTRACT

The investigation of regular F-abundant semigroups is initiated. In fact, F-abundant semigroups are generalizations of regular cryptogroups in the class of abundant semigroups. After obtaining some properties of such semigroups, the construction theorem of the class of regular F-abundant semigroups is obtained. In addition, we also prove that a regular F-abundant semigroup is embeddable into a semidirect product of a regular band by a cancellative monoid. Our result is an analogue of that of Gomes and Gould on weakly ample semigroups, and also extends an earlier result of O'Carroll on F-inverse semigroups.     

E-special Ordered Regular Semigroups

An ordered regular semigroup S is E-special if for every x ∈ S there is a biggest x ⁺ ∈ S such that both xx ⁺ and x ⁺ x are idempotent. Every regular strong Dubreil–Jacotin semigroup is E-special, as is every ordered completely simple semigroup with biggest inverses. In an E-special ordered regular semigroup S in which the unary operation x → x ⁺ is antitone the subset P of perfect elements is a regular ideal, the biggest inverses in which form an inverse transversal of P if and only if S has a biggest idempotent. If S ⁺ is a subsemigroup and S does not have a biggest idempotent, then P contains a copy of the crown bootlace semigroup.     

Radical Semigroup Rings and the Thue--Morse Semigroup

Let R be an associative ring with unit, let S be a semigroup with zero, and let RS be a contracted semigroup ring. It is proved that if RS is radical in the sense of Jacobson and if the element 1 has infinite additive order, then S is a locally finite nilsemigroup. Further, for any semigroup S, there is a semigroup T S such that the ring RT is radical in the Brown--McCoy sense. Let S be the semigroup of subwords of the sequence abbabaabbaababbab..., and let F be the two-element field. Then the ring FS is radical in the Brown--McCoy sense and semisimple in the Jacobson sense.     

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.     

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.     

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.     

Further results in the theory of generalised inflations of semigroups

We determine the structure of semigroups that satisfy xyzw∈{xy,xw,zy,zw}. These semigroups are precisely those whose power semigroup is a generalised inflation of a band. The structure of generalised inflations of the following types of semigroups is determined: the direct product of a group and a band, a completely simple semigroup and a free semigroup F(X) on a set X. In the latter case the semigroup must be an inflation of F(X). We also prove that in any semigroup that equals its square, the power semigroup is a generalised inflation of a band if and only if it is an inflation of a band.     

Approximate amenability of certain inverse semigroup algebras

In this article, the approximate amenability of semigroup algebra ?¹(S) is investigated, where (S) is a uniformly locally finite inverse semigroup. Indeed, we show that for a uniformly locally finite inverse semigroup (S), the notions of amenability, approximate amenability and bounded approximate amenability of ?¹(S) are equivalent. We use this to give a direct proof of the approximate amenability of ?¹(S) for a Brandt semigroup (S). Moreover, we characterize the approximate amenability of ?¹(S), where S is a uniformly locally finite band semigroup.     

On divisors of semigroups of order-preserving mappings of a finite chain

We show that if a semigroup T divides a semigroup of full order preserving transformations of a finite chain, then so does any semidirect product S⋊T where S is a finite semilattice whose natural order makes S a chain.     

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.     

Ideals and free Pairs in the semigroup β ℤ

We prove that the equations ξ+x=mξ+y, x+ξ=y+mξ have no solutions in the semigroup β ? for every free ultrafilter ξ and every integer m∈0, 1. We study semigroups generated by the ultrafilters ξ, mξ. For left maximal idempotents, we prove a reduced hypothesis about elements of finite order in β ?.     

Domain and Range Operations in Semigroups and Rings

A D-semigroup S is a semigroup equipped with an operation D satisfying laws asserting that for a ∈ S, D(a) is the smallest e in some set of idempotents U ? S for which ea = a. D-semigroups correspond to left-reduced U-semiabundant semigroups. The basic properties and many examples of D-semigroups are given. Also considered are D-rings, whose multiplicative semigroup is a D-semigroup. Rickart *-rings provide important examples, and the most general D-rings for which the elements of the form D(a) constitute a lattice under the same meet and join operations as for Rickart *-rings are described.     

On the question of embedding a semigroup into a semiband

In this paper we present a new embedding of a semigroups into a semiband (idempotent-generated semigroup) of depth 4 (every element is the product of 4 idempotents) using a semidirect product construction. Our embedding does not assume that S is a monoid (although it assumes a weaker condition) and works also for (non-monoid) regular semigroups. In fact, this semidirect product construction works particularly well if the semigroup is regular: we can choose the semiband to have depth 2. We shall see that many properties of S are preserved by this construction and we shall compare it to other known embeddings.     

On Finite Presentability of Direct Products of Semigroups

A finite semigroup S is said to preserve finite generation (resp., presentability) in direct products, provided that, for every infinite semigroup T, the direct product S × T is finitely generated (resp., finitely presented) if and only if T is finitely generated (resp., finitely presented). The main result of this paper is a constructive necessary and sufficient condition for S to preserve both finite generation and presentability in direct products. The condition is that certain graphs, (s), one for each s S, are all connected. The main result is illustrated in three examples, one of which exhibits a 4-element semigroup that preserves finite generation but not finite presentability in direct products.1991 Mathematics Subject Classification: 20M05, 05C25The first author is financially supported by the Sub-Programa Ciência e Tecnologia do 2° Quadro Comunitário de Apoio (grant number BD/ 15623/98). The author also acknowledges the support of the Centro de Álgebra da Universidade de Lisboa and of the Projecto Praxis 2/2.1/MAT/73/94. The second author acknowledges partial financial support from the Nuffield Foundation.     

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.     

Actions of Inverse Semigroups on Algebras

In this article we prove that if S is a faithfully projective R-algebra and H is a finite inverse semigroup acting on S as R-linear maps such that the fixed subring S ^H  = R, then any partial isomorphism between ideals of S which are generated by central idempotents can be obtained as restriction of an R-automorphism of S and there exists a finite subgroup of automorphisms G of S with S ^G  = R.