Perfect completely semisimple inverse semigroups

1992 ◽  
Vol 45 (1) ◽  
pp. 395-397 ◽  
Author(s):  
S. M. Goberstein
1991 ◽  
Vol 43 (3) ◽  
pp. 463-466 ◽  
Author(s):  
S.M. Goberstein

Shortly connected and shortly linked inverse semigroups arise in the study of inverse semigroups determined by the lattices of inverse subsemigroups and by the partial automorphism semigroups. It has been shown that every shortly linked inverse semigroup is shortly connected, but the question of whether the converse is true has not been addressed. Here we construct two examples of combinatorial shortly connected inverse semigroups which are not shortly linked. One of them is completely semisimple while the other is not.


2019 ◽  
Vol 30 (02) ◽  
pp. 217-243
Author(s):  
Mohammed Abu Ayyash ◽  
Alessandra Cherubini

We give necessary and sufficient conditions in order that lower bounded HNN-extensions of inverse semigroups and HNN-extensions of finite inverse semigroups are completely semisimple semigroups. Since it is well known that an inverse semigroup is completely semisimple if and only if it does not contain a copy of the bicyclic semigroup, we first characterize such HNN-extensions containing a bicyclic subsemigroup making use of the special feature of their Schützenberger automata.


Author(s):  
P. R. Jones

AbstractIn a previous paper ([14]) the author showed that a free inverse semigroup is determined by its lattice of inverse subsemigroups, in the sense that for any inverse semigroup T, implies . (In fact, the lattice isomorphism is induced by an isomorphism of upon T.) In this paper the results leading up to that theorem are generalized (from completely semisimple to arbitrary inverse semigroups) and applied to various classes, including simple, fundamental and E-unitary inverse semigroups. In particular it is shown that the free product of two groups in the category of inverse semigroups is determined by its lattice of inverse subsemigroups.


1990 ◽  
Vol 32 (2) ◽  
pp. 189-195 ◽  
Author(s):  
Simon M. Goberstein

AbstractFor an inverse semigroup S, the set of all isomorphisms betweeninverse subsemigroups of S is an inverse monoid under composition which is denoted by (S) and called the partial automorphism monoid of S. Kirkwood [7] and Libih [8] determined which groups have Clifford partial automorphism monoids. Here we investigate the structure of inverse semigroups whose partial automorphism monoids belong to certain other important classes of inverse semigroups. First of all, we describe (modulo so called “exceptional” groups) all inverse semigroups S such that (S) is completely semisimple. Secondly, for an inverse semigroup S, we find a convenient description of the greatest idempotent-separating congruence on (S), using a well-known general expression for this congruence due to Howie, and describe all those inverse semigroups whose partial automorphism monoids are fundamental.


2010 ◽  
Vol 20 (01) ◽  
pp. 89-113 ◽  
Author(s):  
EMANUELE RODARO

It is well known that an inverse semigroup is completely semisimple if and only if it does not contain a copy of the bicyclic semigroup. We characterize the amalgams [S1, S2; U] of two finite inverse semigroups S1, S2whose free product with amalgamation is completely semisimple and we show that checking whether the amalgamated free product of finite inverse semigroups contains a bicyclic subsemigroup is decidable by means of a polynomial time algorithm with respect to max {|S1|,|S2|}. Moreover we consider amalgams of finite inverse semigroups respecting the [Formula: see text]-order proving that the free product with amalgamation is completely semisimple and we also provide necessary and sufficient conditions for the [Formula: see text]-classes to be finite.


1995 ◽  
Vol 52 (3) ◽  
pp. 359-372 ◽  
Author(s):  
D. Easdown ◽  
W.D. Munn

Let S be an inverse semigroup and let F be a subring of the complex field containing 1 and closed under complex conjugation. This paper concerns the existence of trace functions on F[S], the semigroup algebra of S over F. Necessary and sufficient conditions on S are found for the existence of a trace function on F[S] that takes positive integral values on the idempotents of S. Although F[S] does not always admit a trace function, a weaker form of linear functional is shown to exist for all choices of S. This is used to show that the natural involution on F[S] is special. It also leads to the construction of a trace function on F[S] for the case in which F is the real or complex field and S is completely semisimple of a type that includes countable free inverse semigroups.


2014 ◽  
Vol 89 (2) ◽  
pp. 469-474 ◽  
Author(s):  
João Araújo ◽  
Michael Kinyon
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document