scholarly journals Locally full HNN extensions of inverse semigroups

2001 ◽  
Vol 70 (2) ◽  
pp. 235-272 ◽  
Author(s):  
Akihiro Yamamura
Keyword(s):  
Normal Form ◽  
Inverse Semigroup ◽  
Fundamental Group ◽  
Maximal Subgroup ◽  
Inverse Semigroups ◽  
Group Presentation ◽  
Graph Of Groups ◽  
Hnn Extensions ◽  
Hnn Extension ◽  
Normal Form Theorem

AbstractWe investigate a locally full HNN extension of an inverse semigroup. A normal form theorem is obtained and applied to the word problem. We construct a tree and show that a maximal subgroup of a locally full HNN extension acts on the tree without inversion. Bass-Serre theory is employed to obtain a group presentation of the maximal subgroup as a fundamental group of a certain graph of groups associated with the D-structure of the original semigroup.

HNN extensions of inverse semigroups with zero

2007 ◽  
Vol 142 (1) ◽  
pp. 25-39 ◽  
Author(s):  
E. R. DOMBI ◽  
N. D. GILBERT
Keyword(s):  
Normal Form ◽  
Inverse Semigroup ◽  
Inverse Semigroups ◽  
Universal Group ◽  
Main Application ◽  
Hnn Extensions ◽  
Hnn Extension ◽  
Natural Way

AbstractWe study a construction of an HNN extension for inverse semigroups with zero. We prove a normal form for the elements of the universal group of an inverse semigroup that is categorical at zero, and use it to establish structural results for the universal group of an HNN extension. Our main application of the HNN construction is to show that graph inverse semigroups –including the polycyclic monoids –admit HNN decompositions in a natural way, and that this leads to concise presentations for them.

scholarly journals Context-freeness of the languages of Schützenberger automata of HNN-extensions of finite inverse semigroups

2016 ◽  
Vol 99 (113) ◽  
pp. 177-191
Author(s):  
Mohammed Ayyash ◽  
Emanuele Rodaro
Keyword(s):  
Inverse Semigroup ◽  
Word Problem ◽  
Polynomial Time ◽  
Inverse Semigroups ◽  
Free Graph ◽  
Hnn Extensions ◽  
Language L ◽  
Hnn Extension ◽  
Context Free ◽  
Standard Presentation

We prove that the Sch?tzenberger graph of any element of the HNN-extension of a finite inverse semigroup S with respect to its standard presentation is a context-free graph in the sense of [11], showing that the language L recognized by this automaton is context-free. Finally we explicitly construct the grammar generating L, and from this fact we show that the word problem for an HNN-extension of a finite inverse semigroup S is decidable and lies in the complexity class of polynomial time problems.

HNN EXTENSIONS OF SEMILATTICES

1999 ◽  
Vol 09 (05) ◽  
pp. 555-596 ◽  
Author(s):  
AKIHIRO YAMAMURA
Keyword(s):  
Inverse Semigroup ◽  
Word Problem ◽  
Inverse Semigroups ◽  
The Third ◽  
Maximal Group ◽  
Hnn Extensions ◽  
Solvable Word Problem ◽  
Hnn Extension ◽  
Subgroup Theorem ◽  
Solvable Word

The main purpose of this paper is to investigate properties of an HNN extension of a semilattice, to give its equivalent characterizations and to discuss similarities with free groups. An HNN extension of a semilattice is shown to be a universal object in a certain category and an F-inverse cover over a free group for every inverse semigroup in the category. We also show that a graph with respect to a certain subset of an HNN extension of a semilattice is a tree and that this property characterizes an HNN extension of a semilattice. Moreover, we look into three subclasses: the class of full HNN extensions of semilattices with an identity, the class of universally E-unitary inverse semigroups and the class of HNN extensions of finite semilattices. The first class consists of factorizable E-unitary inverse semigroups whose maximal group homomorphic images are free. We obtain a generalization of the Nielsen–Schreier subgroup theorem to this class. The second consists of inverse semigroups presented by relations on Dyck words. An inverse semigroup in the third class has a relatively easy finite presentation using a Dyck language and has solvable word problem.

FINITE PRESENTABILITY OF HNN EXTENSIONS OF INVERSE SEMIGROUPS

2005 ◽  
Vol 15 (03) ◽  
pp. 423-436 ◽  
Author(s):  
E. R. DOMBI ◽  
N. D. GILBERT ◽  
N. RUŠKUC
Keyword(s):  
Inverse Semigroup ◽  
Inverse Semigroups ◽  
Finitely Generated ◽  
Semigroup Presentation ◽  
Hnn Extensions ◽  
Hnn Extension ◽  
Finite Presentability ◽  
Order Ideals ◽  
Inverse Subsemigroups ◽  
Finitely Presented

HNN extensions of inverse semigroups, where the associated inverse subsemigroups are order ideals of the base, are defined by means of a construction based upon the isomorphism between the categories of inverse semigroups and inductive groupoids. The resulting HNN extension may conveniently be described by an inverse semigroup presentation, and we determine when an HNN extension with finitely generated or finitely presented base is again finitely generated or finitely presented. Our main results depend upon properties of the [Formula: see text]-preorder in the associated subsemigroups. Let S be a finitely generated inverse semigroup and let U, V be inverse subsemigroups of S, isomorphic via φ: U → V, that are order ideals in S. We prove that the HNN extension S*U,φ is finitely generated if and only if U is finitely [Formula: see text]-dominated. If S is finitely presented, we give a necessary and suffcient condition for S*U,φ to be finitely presented. Here, in contrast to the theory of HNN extensions of groups, it is not necessary that U be finitely generated.

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.

Amalgams vs Yamamura's HNN-Extensions of Inverse Semigroups

2011 ◽  
Vol 18 (04) ◽  
pp. 647-657 ◽  
Author(s):  
Alessandra Cherubini ◽  
Emanuele Rodaro
Keyword(s):  
Free Product ◽  
Inverse Semigroups ◽  
Hnn Extensions ◽  
Amalgamated Free Product ◽  
Hnn Extension

We investigate the connections between amalgams and Yamamura's HNN-extensions of inverse semigroups. In particular, we prove that amalgams of inverse semigroups with an identity adjoint are quotient semigroups of some special Yamamura's HNN-extensions. As a consequence, we show how to obtain the Schützenberger graph of a word w with respect to the presentation of an amalgamated free product starting from the Schützenberger graph of a suitable word w′ with respect to the presentation of the associated HNN-extension by simply making V-quotients and deletions of edges.

scholarly journals A rank for right congruences on inverse semigroups

2007 ◽  
Vol 76 (1) ◽  
pp. 55-68 ◽  
Author(s):  
Victoria Gould
Keyword(s):  
Inverse Semigroup ◽  
Maximal Subgroup ◽  
Inverse Semigroups ◽  
The Other ◽  
Brandt Semigroup ◽  
Group Congruence ◽  
Existentially Closed ◽  
Bicyclic Monoid ◽  
A Chain ◽  
Lattice Of Congruences

The S-rank (where ‘S’ abbreviates ‘sandwich’) of a right congruence ρ on a semigroup S is the Cantor-Bendixson rank of ρ in the lattice of right congruences ℛ of S with respect to a topology we call the finite type topology. If every ρ ϵ ℛ possesses S-rank, then S is ranked. It is known that every right Noetherian semigroup is ranked and every ranked inverse semigroup is weakly right Noetherian. Moreover, if S is ranked, then so is every maximal subgroup of S. We show that a Brandt semigroup 0(G, I) is ranked if and only if G is ranked and I is finite.We establish a correspondence between the lattice of congruences on a chain E, and the lattice of right congruences contained within the least group congruence on any inverse semigroup S with semilattice of idempotents E(S) ≅ E. Consequently we argue that the (inverse) bicyclic monoid B is not ranked; moreover, a ranked semigroup cannot contain a bicyclic -class. On the other hand, B is weakly right Noetherian, and possesses trivial (hence ranked) subgroups.Our notion of rank arose from considering stability properties of the theory Ts of existentially closed (right) S-sets over a right coherent monoid S. The property of right coherence guarantees that the existentially closed S-sets form an axiomatisable class. We argue that B is right coherent. As a consequence, it follows from known results that TB is a theory of B-sets that is superstable but not totally transcendental.

HNN Extensions of Inverse Semigroups and Applications

1997 ◽  
Vol 07 (05) ◽  
pp. 605-624 ◽  
Author(s):  
Akihiro Yamamura
Keyword(s):  
Inverse Semigroups ◽  
General Definition ◽  
Hnn Extensions ◽  
Hnn Extension ◽  
Algorithmic Problems ◽  
New Construction ◽  
Definition Of ◽  
Inverse Subsemigroups ◽  
Finitely Presented ◽  
Markov Properties

Originally the concept of an HNN extension of a group was introduced by Higman, Neumann and Neumann in their study of embeddability of groups. Howie introduced the concept of HNN extensions of semigroups and showed embeddability in the case that the associated subsemigroups are unitary. On the other hand, T. E. Hall showed the embeddability of HNN extensions of inverse semigroups of a special type in his survey article on amalgamation of inverse semigroups. We introduce a more general definition of an HNN extension and show that free inverse semigroups and the bicyclic semigroup are HNN extensions of semilattices as examples of our new construction. We discuss weak HNN embeddability in several classes of semigroups and strong HNN embeddability in the class of inverse semigroups. One of our main purposes in the study of HNN extensions of inverse semigroups is to employ HNN extensions to examine some algorithmic problems. We prove the undecidability of Markov properties of finitely presented inverse semigroups using HNN extensions. This result was announced by Vazhenin in 1978, but no proof of it has been published to date. We also show undecidability of several non-Markov properties and discuss some undecidable problems on finitely generated inverse subsemigroups of finitely presented inverse semigroups.

scholarly journals GRÖBNER–SHIRSHOV BASES FOR FREE INVERSE SEMIGROUPS

2009 ◽  
Vol 19 (02) ◽  
pp. 129-143 ◽  
Author(s):  
L. A. BOKUT ◽  
YUQUN CHEN ◽  
XIANGUI ZHAO
Keyword(s):  
Normal Form ◽  
Inverse Semigroup ◽  
Normal Forms ◽  
Inverse Semigroups ◽  
Free Inverse Semigroup ◽  
New Construction

A new construction for free inverse semigroups was obtained by Poliakova and Schein in 2005. Based on their result, we find Gröbner–Shirshov bases for free inverse semigroups with respect to the deg-lex order of words. In particular, we give the (unique and shortest) normal forms in the classes of equivalent words of a free inverse semigroup together with the Gröbner–Shirshov algorithm to transform any word to its normal form.

Rings graded by bisimple inverse semigroups

2000 ◽  
Vol 130 (3) ◽  
pp. 603-609 ◽  
Author(s):  
W. D. Munn
Keyword(s):  
Inverse Semigroup ◽  
Maximal Subgroup ◽  
Sufficient Conditions ◽  
Inverse Semigroups ◽  
Semigroup Rings ◽  
Special Cases

Sufficient conditions are obtained for a ring R, faithfully graded by a bisimple inverse semigroup S, to be (a) prime and (b) right primitive, these conditions being on the subring RG consisting of all elements of R with support contained in G, a maximal subgroup of S. Earlier results on semigroup rings arise as special cases.

Sign in / Sign up

Export Citation Format

Share Document