Howson's Property for Semidirect Products of Semilattices by Groups

An inverse semigroup S is a Howson inverse semigroup if the intersection of finitely generated inverse subsemigroups of S is finitely generated. Given a locally finite action θ of a group G on a semilattice E, it is proved that E*_θG is a Howson inverse semigroup if and only if G is a Howson group. It is also shown that this equivalence fails for arbitrary actions.     

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.     

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.     

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.     

Fundamental semigroups having a band of idempotents

The construction by Hall of a fundamental orthodox semigroup W _B from a band B provides an important tool in the study of orthodox semigroups. We present here a semigroup S _B that plays the role of W _B for a class of semigroups having a band of idempotents B. Specifically, the semigroups we consider are weakly B-abundant and satisfy the congruence condition (C). Any orthodox semigroup S with E(S)=B lies in our class. On the other hand, if a semigroup S lies in our class, then S is Ehresmann if and only if B is a semilattice. The Hall semigroup W _B is a subsemigroup of S _B , as are the (weakly) idempotent connected semigroups V _B and U _B . We show how the structure of S _B can be used to extract information relating to arbitrary weakly B-abundant semigroups with (C). This work was carried out during a visit to Lisbon of the second author funded by the London Mathematical Society and while the first author was a member of project POCTI/0143/2003 of CAUL financed by FCT and FEDER.     

Projections on weak*-closed subspace of dual Banach algebras

Our first purpose in this paper is to provide necessary conditions for a weak*-closed translation invariant subspace in the semigroup algebra of a locally compact topological foundation semigroup to be completely complemented. We give conditions when a weak*-closed left translation invariant subspace in Ma(S)* of a compact cancellative foundation semigroup S is the range of a weak*-weak* continuous projection on M _a (S)* commuting with translations. Let G be a locally compact group and A be a Banach G-module. Our second purpose in this paper is to study some projections on A* and B(A*) which commutes with translations and convolution.     

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.     

Serre's Condition Rℓ for Affine Semigroup Rings

In this note we characterize the affine semigroup rings K[S] over an arbitrary field K that satisfy condition R_? of Serre. Our characterization is in terms of the face lattice of the positive cone pos(S) of S. We start by reviewing some basic facts about the faces of pos(S) and consequences for the monomial primes of K[S]. After proving our characterization we turn our attention to the Rees algebras of a special class of monomial ideals in a polynomial ring over a field. In this special case, some of the characterizing criteria are always satisfied. We give examples of non-normal affine semigroup rings that satisfy R₂.     

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.     

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.     

A note on the approximate amenability of semigroup algebras

It is known that the bicyclic semigroup S ₁ is an amenable inverse semigroup. In this note we show that the convolution semigroup algebra ℓ ¹(S ₁) is not approximately amenable.     

INVERSE TRANSVERSALS ARE MUTUALLY ISOMORPHIC

It has been suspected for some time that if a regular semigroup S has an inverse transversal then all inverse transversals of S are isomorphic. Here we give a proof of this fact.     

Characterizing compact Clifford semigroups that embed into convolution and functor-semigroups

We study algebraic and topological properties of the convolution semigroup of probability measures on a topological groups and show that a compact Clifford topological semigroup S embeds into the convolution semigroup P(G) over some topological group G if and only if S embeds into the semigroup exp(G)\exp(G) of compact subsets of G if and only if S is an inverse semigroup and has zero-dimensional maximal semilattice. We also show that such a Clifford semigroup S embeds into the functor-semigroup F(G) over a suitable compact topological group G for each weakly normal monadic functor F in the category of compacta such that F(G) contains a G-invariant element (which is an analogue of the Haar measure on G).     

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.     

Multiplicative Invariants and Semigroup Algebras

Let G be a finite group acting by automorphism on a lattice A, and hence on the group algebra S=k[A]. The algebra of G-invariants in S is called an algebra of multiplicative invariants. We present an explicit version of a result of Farkas stating that multiplicative invariants of finite reflection groups are semigroup algebras.     

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/ξ.     

Associate inverse subsemigroups of regular semigroups

By an associate inverse subsemigroup of a regular semigroup S we mean a subsemigroup T of S containing a least associate of each x∈S, in relation to the natural partial order ≤ _S . We describe the structure of a regular semigroup with an associate inverse subsemigroup, satisfying two natural conditions. As a particular application, we obtain the structure of regular semigroups with an associate subgroup with medial identity element. Research supported by the Portuguese Foundation for Science and Technology (FCT) through the research program POCTI.