On Ehresmann semigroups

We formulate an alternative approach to describing Ehresmann semigroups by means of left and right étale actions of a meet semilattice on a category. We also characterize the Ehresmann semigroups that arise as the set of all subsets of a finite category. As applications, we prove that every restriction semigroup can be nicely embedded into a restriction semigroup constructed from a category, and we describe when a restriction semigroup can be nicely embedded into an inverse semigroup.

     

The structure of ?*-inverse semigroups

The concepts of ℒ*-inverse semigroups and left wreath products of semigroups are introduced. It is shown that the ℒ*-inverse semigroup can be described as the left wreath product of a type A semigroup Γ and a left regular band B together with a mapping which maps the semigroup Γ into the endomorphism semigroup End(B). This result generalizes the structure theorem of Yamada for the left inverse semigroups in the class of regular semigroups. We shall also provide a constructed example for the ℒ*-inverse semigroups by using the left wreath products.     

Semigroup closures of finite rank symmetric inverse semigroups

We introduce the notion of semigroup with a tight ideal series and investigate their closures in semitopological semigroups, particularly inverse semigroups with continuous inversion. As a corollary we show that the symmetric inverse semigroup of finite transformations I _λ ⁿ of the rank ≤ n is algebraically closed in the class of (semi)topological inverse semigroups with continuous inversion. We also derive related results about the nonexistence of (partial) compactifications of classes of semigroups that we consider.     

Guarded and Banded Semigroups

The variety of guarded semigroups consists of all (S,·, ˉ) where (S,·) is a semigroup and x ↦ \overline{x} is a unary operation subject to four additional equations relating it to multiplication. The semigroup Pfn(X) of all partial transformations on X is a guarded semigroup if x \overline{f} = x when xf is defined and is undefined otherwise. Every guarded semigroup is a subalgebra of Pfn(X) for some X. A covering theorem of McAlister type is obtained. Free guarded semigroups are constructed paralleling Scheiblich's construction of free inverse semigroups. The variety of banded semigroups has the same signature but different equations. There is a canonical forgetful functor from guarded semigroups to banded semigroups. A semigroup underlies a banded semigroup if and only if it is a split strong semilattice of right zero semigroups. Each banded semigroup S contains a canonical subsemilattice g_⋆(S). For any given semilattice L, a construction to synthesize the general banded semigroup S with g_⋆ ≅ L is obtained.     

E-unitaryR-unipotent semigroups

By making use of McAlister’s P-theorem [4] O’Carroll proved in [5] that every E-unitary inverse semigroup can be embedded into a semidirect product of a semilattice by a group. Recently an alternative proof of this result was published by Wilkinson [10]. In this paper we generalize this theorem by proving that every E-unitaryR-unipotent semigroup S can be embedded into a semidirect product of a band B by a group where B belongs to the variety of bands generated by the band of idempotents of S.     

Maximality of compression semigroups

LetG be a connected semisimple Lie group andr an involution onG. Further letL be an open subgroup of the groupG ^r ofr-fixed points andP⊂-G a parabolic subgroup. The semigroupS(L,P)∶={g∈G∶gLP⊂-LP} is called the compression semigroup of theL-orbit of the base point in the flag manifoldG/P. We show that compression semigroups for open orbits and regular symmetric pairs are maximal semigroups. Supported by a DFG Heisenberg-grant.     

Fundamental Ehresmann semigroups

\noindent The celebrated construction by Munn of a fundamental inverse semigroup T _E from a semilattice E provides an important tool in the study of inverse semigroups. We present here a semigroup C _E that plays the T _E role for Ehresmann semigroups. Inverse semigroups are Ehresmann, as are those that are adequate, weakly ample or weakly hedged. We describe explicitly the semigroups C _E for some specific semilattices E and extract information relating to the corresponding classes of Ehresmann semigroups. October 13, 1999     

Row reduced matrices and annihilator semigroups 1

Throughout we are discussing matrices with entries from a field K. It was first proved in [1] that a product of row reduced matrices is row reduced. This means that the set of row reduced matrices in any matrix ring form a semigroup. It is also the case that every matrix A ? M_n(K)has the property that it has the same right annihilator as its row reduced form, and distinct row reduced matrice have distinct right annihilators. Let R be a ring. Motivated by these observations, we call a multiplicative semigroup S in R a right annihilator semigroup for R if every element in R has the same right annihilator as exactly one element in S. Reasoning that row reduced matrices are very important we study semigroups that share their formal properties. Ultimately we would like to know all right annihilator semigroups in M_n(K).This seems to be a formidable task. Here we determine all right annihila-tor semigroups in M₃(K) up to a change of basis, that is conjugation.     

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.     

Some properties of Umar semigroups: isomorphism theorems,ranks and maximal inverse subsemigroups

In a paper published in 1994, Umar defined an interesting class of transformation semigroups which naturally generalizes the Vagner one-point completion of the symmetric inverse semigroup. In this paper we prove some isomorphism theorems for finite such semigroups and compute their ranks. Moreover, we determine all maximal inverse subsemigroups of an arbitrary transformation semigroup of this type which is not inverse.     

Adjoint bi-continuous semigroups and semigroups on the space of measures

For a given bi-continuous semigroup (T(t)) _t⩾0 on a Banach space X we define its adjoint on an appropriate closed subspace X° of the norm dual X′. Under some abstract conditions this adjoint semigroup is again bi-continuous with respect to the weak topology σ(X°,X). We give the following application: For Ω a Polish space we consider operator semigroups on the space C_b(Ω) of bounded, continuous functions (endowed with the compact-open topology) and on the space M(Ω) of bounded Baire measures (endowed with the weak*-topology). We show that bi-continuous semigroups on M(Ω) are precisely those that are adjoints of bi-continuous semigroups on C_b(Ω). We also prove that the class of bi-continuous semigroups on C_b(ω) with respect to the compact-open topology coincides with the class of equicontinuous semigroups with respect to the strict topology. In general, if is not a Polish space this is not the case.     

CS-indecomposable ordered semigroups

An ordered semigroup S is called CS-indecomposable if the set S × S is the only complete semilattice congruence on S. In the present paper we prove that each ordered semigroup is, uniquely, a complete semilattice of CS-indecomposable semigroups, which means that it can be decomposed into CS-indecomposable components in a unique way. Furthermore, the CS-indecomposable ordered semigroups are exactly the ordered semigroups that do not contain proper filters. Bibliography: 6 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 343, 2007, pp. 222–232.     

Basic properties of e-inversive semigroups

Generalizing a property of regular resp. finite semigroups a semigroup S is called E-(0-) inversive if for every a ∈ S4(a ≠ 0) there exists x ∈ S such that ax (≠ 0) is an idempotent. Several characterizations are given allowing to identify the (completely, resp. eventually) regular semigroups in this class. The case that for every a ∈ S4(≠ 0) there exist x,y ∈ S such that ax = ya(≠ 0) is an idempotent, is dealt with also. Ideal extensions of E- (0-)inversive semigroups are studied discribing in particular retract extensions of completely simple semigroups. The structure of E- (0-)inversive semigroups satisfying different cancellativity conditions is elucidated. 1991 AMS classification number: 20M10.     

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.     

Congruences on generalized inverse semigroups

A generalized inverse semigroup is a regular semigroup whose idempotents satisfy a permutation identity X₁ X₂...X_n=X_p1 X_p2...X_pn, where (P₁, P₂..., P_n) is a nontrivial permutation of (1, 2,..., n). Yamada [4] has given a complete classification of generalized inverse semigroups in terms of inverse semigroups, left normal bands, and right normal bands. In this paper we show that every congruence on a generalized inverse semigroup is uniquely determined by a congruence on its associated inverse semigroup, left normal band, and right normal band. A converse is also provided. This paper is extracted from the doctoral thesis of the author written at Monash University under the direction of Professor G. B. Preston. The research was carried out while the author held a Commonwealth Postgraduate Award.