scholarly journals On a complete topological inverse polycyclic monoid

2016 ◽  
Vol 8 (2) ◽  
pp. 183-194 ◽  
Author(s):  
S.O. Bardyla ◽  
O.V. Gutik
Keyword(s):  
Sufficient Conditions ◽  
Inverse Semigroups ◽  
Infinite Cardinal ◽  
Inverse Monoid ◽  
Inverse Topology

We give sufficient conditions when a topological inverse $\lambda$-polycyclic monoid $P_{\lambda}$ is absolutely $H$-closed in the class of topological inverse semigroups. For every infinite cardinal $\lambda$ we construct the coarsest semigroup inverse topology $\tau_{mi}$ on $P_\lambda$ and give an example of a topological inverse monoid $S$ which contains the polycyclic monoid $P_2$ as a dense discrete subsemigroup.

Boolean Algebra Retracts

1971 ◽  
Vol 23 (2) ◽  
pp. 339-344
Author(s):  
Timothy Cramer
Keyword(s):  
Boolean Algebra ◽  
Dual Problem ◽  
Sufficient Conditions ◽  
Boolean Algebras ◽  
Necessary And Sufficient Conditions ◽  
Infinite Cardinal ◽  
Necessary And Sufficient

A Boolean algebra B is a retract of an algebra A if there exist homomorphisms ƒ: B → A and g: A → B such that gƒ is the identity map B. Some important properties of retracts of Boolean algebras are stated in [3, §§ 30, 31, 32]. If A and B are a-complete, and A is α-generated by B, Dwinger [1, p. 145, Theorem 2.4] proved necessary and sufficient conditions for the existence of an α-homomorphism g: A → B such that g is the identity map on B. Note that if a is not an infinite cardinal, B must be equal to A. The dual problem was treated by Wright [6]; he assumed that A and B are σ-algebras, and that g: A → B is a σ-homomorphism, and gave conditions for the existence of a homomorphism ƒ:B → A such that gƒ is the identity map.

scholarly journals A simplification of D'Alarcao's idempotent separating extensions of inverse semigroups

1978 ◽  
Vol 1 (3) ◽  
pp. 393-396
Author(s):  
Constance C. Edwards
Keyword(s):  
Inverse Semigroup ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Inverse Semigroups ◽  
Necessary And Sufficient

In [2] D'Alarcao states necessary and sufficient conditions for the attainment of an idempotent-separating extension of an inverse semigroup. To do this D'Alarcao needed essentially three mappings satisfying thirteen conditions. In this paper we show that one can achieve the same results with two mappings satisfying eight conditions.

Inverse semigroup homomorphisms via partial group actions

2001 ◽  
Vol 64 (1) ◽  
pp. 157-168 ◽  
Author(s):  
Benjamin Steinberg
Keyword(s):  
Inverse Semigroup ◽  
Group Actions ◽  
Inverse Semigroups ◽  
Inverse Monoid ◽  
Partial Group ◽  
Inverse Monoids ◽  
Maximal Group ◽  
Special Cases ◽  
Quick Proof ◽  
Group Component

This papar constructs all homomorphisms of inverse semigroups which factor through an E-unitary inverse semigroup; the construction is in terms of a semilattice component and a group component. It is shown that such homomorphisms have a unique factorisation βα with α preserving the maximal group image, β idempotent separating, and the domain I of β E-unitary; moreover, the P-representation of I is explicitly constructed. This theory, in particular, applies whenever the domain or codomain of a homomorphism is E-unitary. Stronger results are obtained for the case of F-inverse monoids.Special cases of our results include the P-theorem and the factorisation theorem for homomorphisms from E-unitary inverse semigroups (via idempotent pure followed by idempotent separating). We also deduce a criterion of McAlister–Reilly for the existence of E-unitary covers over a group, as well as a generalisation to F-inverse covers, allowing a quick proof that every inverse monoid has an F-inverse cover.

Some completely semisimple HNN-extensions of inverse semigroups

2019 ◽  
Vol 30 (02) ◽  
pp. 217-243
Author(s):  
Mohammed Abu Ayyash ◽  
Alessandra Cherubini
Keyword(s):  
Inverse Semigroup ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Inverse Semigroups ◽  
Bicyclic Semigroup ◽  
Hnn Extensions ◽  
Necessary And Sufficient ◽  
Completely Semisimple

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.

scholarly journals Inverse semigroups with certain types of partial automorphism monoids

1990 ◽  
Vol 32 (2) ◽  
pp. 189-195 ◽  
Author(s):  
Simon M. Goberstein
Keyword(s):  
Inverse Semigroup ◽  
General Expression ◽  
Inverse Semigroups ◽  
Inverse Monoid ◽  
Exceptional Groups ◽  
Completely Semisimple

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.

CHAINS OF PROJECTIVE MODULES

2011 ◽  
Vol 10 (01) ◽  
pp. 167-180 ◽  
Author(s):  
LÁSZLÓ FUCHS ◽  
KULUMANI M. RANGASWAMY
Keyword(s):  
Integral Domain ◽  
Sufficient Conditions ◽  
Commutative Rings ◽  
Infinite Cardinal ◽  
Projective Modules

We consider modules over commutative rings. We are looking for sufficient conditions for a continuous well-ordered ascending chain of projective modules that are pure in their union to have a projective union. First, we deal with countable chains without restriction on the sizes of the modules; in this case no extra hypothesis is needed provided R is an integral domain or ℵ0-noetherian (Theorem 1.3); in the latter case, the theorem covers pure-projectvity as well. We also consider chains of longer lengths over an integral domain. We establish a condition (in terms of a slightly modified κ+-freeness) for the projectivity of the union provided that the links of the chain are ≤ κ-generated and the length of the chain is κ+ for an infinite cardinal κ (Theorem 1.4). Our theorems generalize several results in the literature.

BICYCLIC SUBSEMIGROUPS IN AMALGAMS OF FINITE INVERSE SEMIGROUPS

2010 ◽  
Vol 20 (01) ◽  
pp. 89-113 ◽  
Author(s):  
EMANUELE RODARO
Keyword(s):  
Inverse Semigroup ◽  
Free Product ◽  
Sufficient Conditions ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Inverse Semigroups ◽  
Amalgamated Free Product ◽  
Free Product With Amalgamation ◽  
Necessary And Sufficient ◽  
Completely Semisimple

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.

On the Structure of Inverse Semigroup Amalgams

1997 ◽  
Vol 07 (05) ◽  
pp. 577-604 ◽  
Author(s):  
Paul Bennett
Keyword(s):  
Inverse Semigroup ◽  
Free Product ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Inverse Semigroups ◽  
Maximal Subgroups ◽  
Regular Semigroups ◽  
Endomorphism Monoids ◽  
Amalgamated Free Product ◽  
Necessary And Sufficient

This paper is the second of two papers devoted to the study of amalgamated free products of inverse semigroups. We use the characterization of the Schützenberger automata given previously by the author to obtain structural results and preservational properties of lower bounded amalgams. Haataja, Margolis and Meakin have shown that if [S1,S2;U is an amalgam of regular semigroups in which S1∩ S2=U is a full regular subsemigroup of S1 and S2, then the maximal subgroups of the amalgamated free product S1*U S2 may be described by the fundamental groups of certain bipartite graphs of groups. In this paper we show that the maximal subgroups of a lower bounded amalgam [S1,S2;U] are either isomorphic copies of subgroups of S1 and S2 or can be described by the same Bass-Serre theory characterization. It follows, as for the regular case, that if S1 and S2 are combinatorial, then the maximal subgroups of S1*U S2 are free. By studying the endomorphism monoids of the Schützenberger graphs we obtain a number of results concerning when inverse semigroup properties are preserved under the amalgamated free product construction. For example, necessary and sufficient conditions are given for S1*U S2 to be completely semisimple. Under a mild assumption we establish necessary and sufficient conditions for S1*U S2 to have finite ℛ-classes. This enables us to reprove a result of Cherubini, Meakin and Piochi on amalgams of free inverse semigroups. Finally we give sufficient conditions for S1*U S2 to be E-unitary.

scholarly journals Trace functions on inverse semigroup algebras

1995 ◽  
Vol 52 (3) ◽  
pp. 359-372 ◽  
Author(s):  
D. Easdown ◽  
W.D. Munn
Keyword(s):  
Inverse Semigroup ◽  
Sufficient Conditions ◽  
Semigroup Algebra ◽  
Inverse Semigroups ◽  
Trace Function ◽  
Complex Field ◽  
Semigroup Algebras ◽  
Complex Conjugation ◽  
Necessary And Sufficient ◽  
Completely Semisimple

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.

Sign in / Sign up

Export Citation Format

Share Document