The smallest ideal of βS is not closed

Let S be an infinite discrete semigroup which can be embedded algebraically into a compact topological group and let βS be the Stone–Čech compactification of S. We show that the smallest ideal of βS is not closed.     

Global determinism of idempotent semigroups

The power semigroup, or global, of a semigroup S is the set 𝒫(S) of all nonempty subsets of S equipped with the naturally defined multiplication. A class 𝒦 of semigroups is globally determined if any two members of 𝒦 with isomorphic globals are themselves isomorphic. The principal goal of this paper is to prove that the class of all idempotent semigroups is globally determined.     

On permutation properties in groups and semigroups

A semigroupS satisfiesPPn, thepermutation property of degree n (n≥2) if every product ofn elements inS remains invariant under some nontrivial permutation of its factors. It is shown that a semigroup satisfiesPP3 if and only if it contains at most one nontrivial commutator. Further a regular semigroup is a semilattice ofPP3 right or left groups, and a subdirect product ofPP3 semigroups of a simple type. A negative answer to a question posed by Restivo and Reutenauer is provided by a suitablePP3 group.     

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).     

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.     

Certain congruences on E-inversive E-semigroups

A semigroup S is called E-inversive if for every a ∈ S there exists x ∈ S such that ax is idempotent. S is called E-semigroup if the set of idempotents of S forms a subsemigroup. In this paper some special congruences on E-inversive E-semigroups are investigated, such as the least group congruence, a certain semilattice congruence, some regular congruences and a certain idempotent-separating congruence.     

Structure of a finite commutative inverse semigroup and a finite bundle for which the inverse monoid of local automorphisms is permutable

For a semigroup S, the set of all isomorphisms between the subsemigroups of the semigroup S with respect to composition is an inverse monoid denoted by PA(S) and called the monoid of local automorphisms of the semigroup S. The semigroup S is called permutable if, for any couple of congruences ρ and σ on S, we have ρ ∘ σ = σ ∘ ρ. We describe the structures of a finite commutative inverse semigroup and a finite bundle whose monoids of local automorphisms are permutable.     

Irreducible Numerical Semigroups Having Toms Decomposition

In this article we prove that if S is an irreducible numerical semigroup and S is generated by an interval or S has multiplicity 3 or 4, then it enjoys Toms decomposition. We also prove that if a numerical semigroup can be expressed as an expansion of a numerical semigroup generated by an interval, then it is irreducible and has Toms decomposition.     

ON THE STRUCTURE OF REGULAR CRYPTO SEMIGROUPS

Superabundant semigroups are generalizations of completely regular semigroups written the class of abundant semigroups. It has been shown by Fountain that an abundant semigroup is superabundant if and only if it is a semilattice of completely J ^*-simple semigroups. Reilly and Petrich called a semigroup S cryptic if the Green's relation H is a congruence on S. In this paper, we call a superabundant semigroup S a regular crypto semigroup if H ^* is a congruence on S such that S/H ^* is a regular band. It will be proved that a superabundant semigroup S is a regular crypto semigroup if and only if S is a refined semilattice of completely J ^*-simple semigroups. Thus, regular crypto semigroups are generalization of the cryptic semigroups as well as abundant semigroups.     

Pseudo-contractibility and pseudo-amenability of semigroup algebras

In this paper, we characterize pseudo-contractibility of ℓ ¹(S), where S is a uniformly locally finite inverse semigroup. As a consequence, we show that for a Brandt semigroup S=M⁰(G,I),{S={\mathcal{M}}^{0}(G,I),} the semigroup algebra ℓ ¹(S) is pseudo-contractible if and only if G and I are finite. Moreover, we study the notions of pseudo-amenability and pseudo-contractibility of a semigroup algebra ℓ ¹(S) in terms of the amenability of S.     

On semigroups admitting ring structure

A right-chain semigroup is a semigroup whose right ideals are totally ordered by set inclusion. The main result of this paper says that if S is a right-chain semigroup admitting a ring structure, then either S is a null semigroup with two elements or sS=S for some s∈S. Using this we give an elementary proof of Oman’s characterization of semigroups admitting a ring structure whose subsemigroups (containing zero) form a chain. We also apply this result, along with two other results proved in this paper, to show that no nontrivial multiplicative bounded interval semigroup on the real line ℝ admits a ring structure, obtaining the main results of Kemprasit et al. (ScienceAsia 36: 85–88, 2010).     

On character amenability of semigroup algebras

We study the character amenability of semigroup algebras. We work on general semigroups and certain semigroups such as inverse semigroups with a finite number of idempotents, inverse semigroups with uniformly locally finite idempotent set, Brandt and Rees semigroup and study the character amenability of the semigroup algebra l¹(S) in relation to the structures of the semigroup S. In particular, we show that for any semigroup S, if ?¹(S) is character amenable, then S is amenable and regular. We also show that the left character amenability of the semigroup algebra ?¹(S) on a Brandt semigroup S over a group G with index set J is equivalent to the amenability of G and J being finite. Finally, we show that for a Rees semigroup S with a zero over the group G, the left character amenability of ?¹(S) is equivalent to its amenability, this is in turn equivalent to G being amenable.     

Subdirectly irreducible \mathcal{RGC} -commutative right H-semigroups

A semigroup S is said to be ℛ-commutative if, for all elements a,b∈S, there is an element x∈S ¹ such that ab=bax. A semigroup S is called a generalized conditionally commutative (briefly, -commutative) semigroup if it satisfies the identity aba ²=a ² ba. An ℛ-commutative and -commutative semigroup is called an -commutative semigroup. A semigroup S is said to be a right H-semigroup if every right congruence of S is a congruence of S. In this paper we characterize the subdirectly irreducible semigroups in the class of -commutative right H-semigroups. Research supported by the Hungarian NFSR grant No T029525.     

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.     

Every finite semigroup is embeddable in a finite relatively free semigroup

The title result is proved by a Murskii-type embedding.Results on some related questions are also obtained. For instance, it is shown that every finitely generated semigroup satisfying an identity ξ^d=ξ^2d is embeddable in a relatively free semigroup satisfying such an identity, generally with a larger d; but that an uncountable semigroup may satisfy such an identity without being embeddable in any relatively free semigroup.It follows from known results that every finite group is embeddable in a finite relatively free group. It is deduced from this and the proof of the title result that a finite monoid S is embeddable by a monoid homomorphism in a finite (or arbitrary) relatively free monoid if and only if its group of invertible elements is either {e} or all of S.     

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.     

Biordered Sets of Regular Semigroups with Inverse Transversals1

In a regular semigroup S, an inverse subsemigroup S° of S is called an inverse transversal of S if S° contains a unique inverse x° of each element x of S. An inverse transversal S° of S is called a Q-inverse transversal of S if S° is a quasi-ideal of S.If S is a regular semigroup with set of idempotents E then E is a biordered set. T.E. Hall obtained a fundamental regular semigroup T_E from the subsemigroup E which is generated by the set of idempotents of a regular semigroup. K.S.S. Nambooripad constructed a fundamental regular semigroup by a regular biordered set abstractly. In this paper, we discuss the properties of the biordered sets of regular semigroups with inverse transversals. This kind of regular biordered sets is called IT-biordered sets. We also describe the fundamental regular semigroup T_E when E is an IT-biordered set. In the sequel, we give the construction of an IT-biordered set by a left regular IT-biordered set and a right regular IT-biordered set.This project has been supported by the Provincial Natural Science Foundation of Guangdong Province, PR China     

Morita Equivalence for Factorisable Semigroups

Recall that the semigroups S and R are said to be strongly Morita equivalent if there exists a unitary Morita context (S, R., _S P _R,R Q _S ,〈〉 , ⌈⌉) with 〈〉 and ⌈⌉ surjective. For a factorisable semigroup S, we denote ζ _S = {(s ₁, s ₂) ∈S×S|ss ₁ = ss ₂, ∀s∈S}, S' = S/ζ _S and US-FAct = { _S M∈S− Act |SM = M and SHom _S (S, M) ≅M}. We show that, for factorisable semigroups S and M, the categories US-FAct and UR-FAct are equivalent if and only if the semigroups S' and R' are strongly Morita equivalent. Some conditions for a factorisable semigroups to be strongly Morita equivalent to a sandwich semigroup, local units semigroup, monoid and group separately are also given. Moreover, we show that a semigroup S is completely simple if and only if S is strongly Morita equivalent to a group and for any index set I, S⊗SHom _S (S, ∐ _i∈I S) →∐ _i∈I S, s⊗t·ƒ↦ (st)ƒ is an S-isomorphism. The research is partially supported by a UGC(HK) grant #2160092. Project is supported by the National Natural Science Foundation of China