HNN Extensions of Inverse Semigroups and Applications

DOI10.1142/S0218196797000277MaRDI QIDQ4354240zbMATH OpenOpenAlexFDO

Authors Akihiro Yamamura

Publication date 15 September 1997

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0218196797000277

zbMATH Keywords

algorithmic problemsfinitely presented inverse semigroupsfree inverse semigroupsHNN extensions of semigroupsweak HNN embeddability

Mathematics Subject Classification ID

Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Free semigroups, generators and relations, word problems (20M05) Inverse semigroups (20M18)

Review text

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 semigroups are HSS 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 this result 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.

Recommendations

• Embedding theorems for HNN extensions of inverse semigroups.
• HNN extensions of inverse semigroups and groupoids.
• FINITE PRESENTABILITY OF HNN EXTENSIONS OF INVERSE SEMIGROUPS

Cited in

(21)

• HNN extensions of semigroups
• HNN extensions of inverse semigroups and groupoids.
• Schützenberger automata for HNN-extensions of inverse monoids and their use in algorithmic questions
• Normal forms for semigroup amalgams
• Locally full HNN extensions of inverse semigroups
• Remarks concerning finitely generated semigroups having regular sets of unique normal forms
• Undecidability of the word problem for Yamamura's HNN-extension under nice conditions.
• Amalgams vs Yamamura's HNN-extensions of inverse semigroups.
• HNN extensions of inverse semigroups with zero
• HNN EXTENSIONS OF SEMILATTICES
• John Macintosh Howie: work and legacy
• FINITE PRESENTABILITY OF SEMIGROUP CONSTRUCTIONS
• EMBEDDING THEOREMS FOR GROUPS PRESENTED VIA PARTIAL AUTOMORPHISMS: A GENERALIZATION OF SEMIDIRECT PRODUCTS AND HNN EXTENSIONS
• HNN extensions with lower bounded inverse monoids
• Some completely semisimple HNN-extensions of inverse semigroups
• FINITE PRESENTABILITY OF HNN EXTENSIONS OF INVERSE SEMIGROUPS
• Embedding theorems for groups presented via partial automorphisms.
• On the structure of lower bounded HNN extensions
• A class of inverse monoids acting on ordered forests.
• Embedding theorems for HNN extensions of inverse semigroups.
• Decidability of the word problem in Yamamura's HNN extensions of finite inverse semigroups.

This page was built for publication: HNN Extensions of Inverse Semigroups and Applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4354240)