Inverse semigroups determined by their lattices of convex inverse subsemigroups I

Every inverse semigroup possesses a natural partial order and therefore convexity with respect to this order is of interest. We study the extent to which an inverse semigroup is determined by its lattice of convex inverse subsemigroups; that is, if the lattices of two inverse semigroups are isomorphic, how are the semigroups related? We solve this problem completely for semilattices and for inverse semigroups in general reduce it to the case where the lattice isomorphism induces an isomorphism between the semilattices of idempotents of the semigroups. For many inverse semigroups, such as the monogenic ones, this case is the only one that can occur. In Part II, a study of the reduced case enables us to prove that many inverse semigroups, such as the free ones, are strictly determined by their lattices of convex inverse subsemigroups, and to show that the answer obtained here for semilattices can be extended to a broad class of inverse semigroups, including all finite, aperiodic ones. Received September 24, 2002; accepted in final form December 15, 2002.     

The Lattice of Full Subsemigroups of an Inverse Semigroup

In this paper, we consider the lattice Subf S of full subsemigroups of an inverse semigroup S. Our first main theorem states that for any inverse semigroup S, Subf S is a subdirect product of the lattices of full subsemigroups of its principal factors, so that Subf S is distributive [meet semidistributive, join semidistributive, modular, semimodular] if and only if the lattice of full subsemigroups of each principal factor is. To examine such inverse semigroups, therefore, we need essentially only consider those which are 0-simple. For a 0-simple inverse semigroup S (not a group with zero), we show that in fact each of modularity, meet semidistributivity and join semidistributivity of Subf S is equivalent to distributivity of S, that is, S is the combinatorial Brandt semigroup with exactly two nonzero idempotents and two nonidempotents. About semimodularity, however, we concentrate only on the completely 0-simple case, that is, Brandt semigroups. For a Brandt semigroup S (not a group with zero), semimodularity of Subf S is equivalent to distributivity of Subf S. Finally, we characterize an inverse semigroup S for which Subf S is a chain.     

Perfect semigroups and aliens

A topologized semigroup is called perfect if its multiplication is a perfect map (= a closed continuous mapping such that the inverse image of every point is compact). Thus a locally compact topological semigroup is perfect if and only if its multiplication is closed and each of its elements is compactly divided, that is, its divisors form a compact set. In the present paper we study compactly and non-compactly divided elements in the contexts of general locally compact semigroups, subsemigroups of groups, Lie semigroups and subsemigroups of Sl(2, ?).     

Perfect Semigroups and Aliens

Abstract. A topologized semigroup is called perfect if its multiplication is a perfect map (= a closed continuous mapping such that the inverse image of every point is compact). Thus a locally compact topological semigroup is perfect if and only if its multiplication is closed and each of its elements is compactly divided , that is, its divisors form a compact set. In the present paper we study compactly and non-compactly divided elements in the contexts of general locally compact semigroups, subsemigroups of groups, Lie semigroups and subsemigroups of Sl(2,R).     

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.     

阿基米德序半群的链的若干刻画

本文首先引入了一个序半群$S$的准素模糊理想的概念,通过序半群$S$上的一些二元关系以及它的理想的模糊根给出了该序半群是阿基米德序子半群的半格的一些刻画.进一步地借助于序半群$S$的模糊子集对该序半群是阿基米德序子半群的半格进行了刻画.尤其是通过序半群的模糊素根定理证明了序半群$S$是阿基米德序子半群的链当且仅当$S$是阿基米德序子半群的半格且$S$的所有弱完全素模糊理想关于模糊集的包含关系构成链.     

On Ordered Semigroups Which are Semilattices of Simple and Regular Semigroups

We characterize the ordered semigroups which are decomposable into simple and regular components. We prove that each ordered semigroup which is both regular and intra-regular is decomposable into simple and regular semigroups, and the converse statement also holds. We also prove that an ordered semigroup S is both regular and intra-regular if and only if every bi-ideal of S is an intra-regular (resp. semisimple) subsemigroup of S. An ordered semigroup S is both regular and intra-regular if and only if the left (resp. right) ideals of S are right (resp. left) quasi-regular subsemigroups of S. We characterize the chains of simple and regular semigroups, and we prove that S is a complete semilattice of simple and regular semigroups if and only if S is a semilattice of simple and regular semigroups. While a semigroup which is both π-regular and intra-regular is a semilattice of simple and regular semigroups, this does not hold in ordered semigroups, in general.     

Embedding theorems for HNN extensions of inverse semigroups

A variant of an HNN extension of an inverse semigroup introduced by Gilbert [N.D. Gilbert, HNN extensions of inverse semigroups and groupoids, J. Algebra 272 (2004) 27-45] is defined provided that associated subsemigroups are order ideals. We show this presentation still makes sense without the assumption on associated subsemigroups in the sense that it gives a semigroup deserving to be an HNN extension, and it is embedded into another variant using the automata theoretical technique based on combinatorial and geometrical properties of Schützenberger graphs.     

阿基米德序半群的链(英文)

本文通过一个序半群S上的一些二元关系以及它的理想(右理想,双理想)的根集分别给出了该序半群是阿基米德(右阿基米德,t-阿基米德)序子半群的链的刻画.进一步证明了准素序半群是阿基米德序半群的链.最后,通过素根定理证明了序半群S是阿基米德序子半群的链当且仅当S是阿基米德序子半群的半格且S的所有素理想关于集合的包含关系构成链.     

On left regular and intra-regular ordered semigroups

We study the decomposition of left regular ordered semigroups into left regular components and the decomposition of intra-regular ordered semigroups into simple or intra-regular components, adding some additional information to the results considered in [KEHAYOPULU, N.: On left regular ordered semigroups, Math. Japon. 35 (1990), 1057–1060] and [KEHAYOPULU, N.: On intra-regular ordered semigroups, Semigroup Forum 46 (1993), 271–278]. We prove that an ordered semigroup S is left regular if and only if it is a semilattice (or a complete semilattice) of left regular semigroups, equivalently, it is a union of left regular subsemigroups of S. Moreover, S is left regular if and only if it is a union of pairwise disjoint left regular subsemigroups of S. The right analog also holds. The same result is true if we replace the words “left regular” by “intraregular”. Moreover, an ordered semigroup is intra-regular if and only if it is a semilattice (or a complete semilattice) of simple semigroups. On the other hand, if an ordered semigroup is a semilattice (or a complete semilattice) of left simple semigroups, then it is left regular, but the converse statement does not hold in general. Illustrative examples are given.     

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.     

On generators and relations for unions of semigroups

Finite generation and presentability of general unions of semigroups, as well as of bands of semigroups, bands of monoids, semilattices of semigroups and strong semilattices of semigroups, are investigated. For instance, it is proved that a band Y of monoids S _α (α∈ Y ) is finitely generated/presented if and only if Y is finite and all S _α are finitely generated/presented. By way of contrast, an example is exhibited of a finitely generated semigroup which is not finitely presented, but which is a disjoint union of two finitely presented subsemigroups. January 21, 2000     

Compact totally disconnected k-divisible semigroups

One of the early results [5] regarding divisibility in semigroups states that no finite non-degenerate group is divisible. A sequel to this (which in view of well-known results on compact semigroups is a generalization) is that a compact semigroup is divisible if and only if each component is a divisible subsemigroup [2]. Consequently, a finite semigroup is divisible if and only if it is an idempotent semigroup. However, it is of some interest to know which finite semigroups are k-divisible for a given positive integerk≥2. In this note we present a complete characterization of finitek-divisible semigroups, and use this along with a result of K. Numakura [8], to characterize compact totally disconnected k-divisible semigroups     

全正则子半群构成链的正则半群(英文)

本文考虑全正则子半群构成链的正则半群,得到了正则半群具有全正则子半群构成链的一个充分必要条件,这推广了Jones关于具有全正则子半群构成链的逆半群的结果.特别地,建立了具有全正则子半群构成链的完全0-单半群的结构.     

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.