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.     

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.     

On Automatic Rees Matrix Semigroups

We consider a Rees matrix semigroup S = M[U; I, J; P] over a semigroup U, with I and J finite index sets, and relate the automaticity of S with the automaticity of U. We prove that if U is an automatic semigroup and S is finitely generated then S is an automatic semigroup. If S is an automatic semigroup and there is an entry p in the matrix P such that pU ¹ = U then U is automatic. We also prove that if S is a prefix-automatic semigroup, then U is a prefix-automatic semigroup.     

On uniformly repetitive semigroups

Letk be an integer greater than 1 andS be a finitely generated semigroup. The following propositions are equivalent: 1) the semigroup of non negative integers is not uniformlyk-repetitive; 2) any finitely generated and uniformlyk-repetitive semigroup is finite. As a consequence we prove that any finitely generated and uniformly 4-repetitive semigroup is finite.     

On subsemigroups of βℕ and absolute coretracts

A semigroup S is called an absolute coretract if for any continuous homomorphism f from a compact Hausdorff right topological semigroup T onto a compact Hausdorff right topological semigroup containing S algebraically there exists a homomorphism g \colon S→ T such that f\circ g=id _S . The semigroup β\ben contains isomorphic copies of any countable absolute coretract. In this article we define a class C of semigroups of idempotents each of which is a decreasing chain of rectangular semigroups. It is proved that every semigroup from C is an absolute coretract and every finite semigroup of idempotents, which is an absolute coretract, belongs to C . July 25, 2000     

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.     

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.     

Upper-modular elements of the lattice of semigroup varieties. II

A semigroup variety is called a variety of degree ≤2 if all its nilsemigroups are semigroups with zero multiplication, and a variety of degree >2 otherwise. We completely determine all semigroup varieties of degree >2 that are upper-modular elements of the lattice of all semigroup varieties and find quite a strong necessary condition for semigroup varieties of degree ≤2 to have the same property.     

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.     

Filters and semigroup compactification properties

Stone-Čech compactifications derived from a discrete semigroup S can be considered as the spectrum of the algebra ℬ(S) or as a collection of ultrafilters on S. What is certain and indisputable is the fact that filters play an important role in the study of Stone-Čech compactifications derived from a discrete semigroup. It seems that filters can play a role in the study of general semigroup compactifications too. In the present paper, first we review the characterizations of semigroup compactifications in terms of filters and then extend some of the results in Papazyan (Semigroup Forum 41:329–338, 1990) concerning the Stone-Čech compactification to a semigroup compactification associated with a Hausdorff semitopological semigroup.     

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

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

Prime Ideals of Cancellative Semigroups

Abstract

For a class of prime ideals P of a cancellative semigroup S it is shown that the factors S/P have a structure of a monomial semigroup over a group. Consequences for the semigroup algebras K[S] are discussed.     

On binary quadratic forms with the semigroup property

A quadratic form f is said to have the semigroup property if its values at the points of the integer lattice form a semigroup under multiplication. A problem of V. Arnold is to describe all binary integer quadratic forms with the semigroup property. If there is an integer bilinear map s such that f(s(x,y)) = f(x)f(y) for all vectors x and y from the integer two-dimensional lattice, then the form f has the semigroup property. We give an explicit integer parameterization of all pairs (f,s) with the property stated above. We do not know any other examples of forms with the semigroup property.     

E-unitary almost factorizable orthodox semigroups

It is established that an E-unitary almost factorizable orthodox semigroup need not be isomorphic to a semidirect product of a band by a group, and a necessary and sufficient condition is given for an E-unitary almost factorizable orthodox semigroup to be isomorphic to such a semidirect product. Moreover, the structure of every E-unitary almost factorizable orthodox semigroup is described by means of bands and groups.     

Finite groups are big as semigroups

We prove that a finite group G occurs as a maximal proper subsemigroup of an infinite semigroup (in the terminology of Freese, Ježek, and Nation, G is a big semigroup) if and only if |G| ≥ 3. In fact, any finite semigroup whose minimal ideal contains a subgroup with at least three elements is big.     

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.     

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.     

Semigroups generated by a group and an idempotent

It is well known that the semigroup of all transformations on a finite set X of order n is generated by its group of units, the symmetric group, and any idempotent of rank n ? 1. Similarly, the symmetric inverse semigroup on X is generated by its group of units and any idempotent of rank n ? 1 while the analogous result is true for the semigroup of all n × n matrices over a field.

In this paper we begin a systematic study of the structure of a semigroup S generated by its group G of units and an idempotent ? . The first section consists of preliminaries while the second contains some general results which provide the setting for those which follow.

In the third section we shall investigate the situation where G is a permutation group on a set X of order n and ? is an idempotent of rank n ? 1. In particular, we shall show that any such semigroup S is regular. Furthermore we shall determine when S is an inverse or orthodox semigroup or completely regular semigroup.

The fourth section deals with a special case, that in which G is cyclic. The fifth, and last, deals with the situation where G is dihedral. In both cases, the resulting semigroup has a particularly delicate structure which is of interest in its own right. Both situations are replete with interesting combinatorial gems.

The author was led to the results of this paper by considering the output of a computer program he was writing for generating and analyzing semigroups.     

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.