Embedding theorems for HNN extensions of inverse semigroups.

DOI10.1016/J.JPAA.2006.10.012MaRDI QIDQ886237zbMATH OpenOpenAlexFDO

Authors Akihiro Yamamura

Publication date 26 June 2007

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jpaa.2006.10.012

zbMATH Keywords

HNN extensionsidempotentsinverse semigroupsnormal formsorder idealsSchützenberger graphs

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

In general, given an inverse semigroup \(S\) and two inverse subsemigroups \(A\) and \(B\), together with an isomorphism \(\varphi\) between them, an HNN extension is an inverse semigroup \(T\), which one hopes contains \(S\), in which \(\varphi\) can be interpreted as some type of conjugation by elements of \(T\). The first part of this paper contains a remarkably lucid account of various concepts of HNN extensions that have been defined for inverse semigroups, and of the relationships among them. Examples demonstrate that the various concepts described therein generally yield different nonisomorphic extensions. The first primary purpose of the paper is to show that the definition given by \textit{N. D. Gilbert} [J. Algebra 272, No. 1, 27-45 (2004; Zbl 1041.20042)], in which \(A\) and \(B\) were required to be order ideals of \(S\), makes sense in general. The author notes that the original requirement on \(A\) and \(B\) naturally arises from a connection with groupoids and yields a normal form that may not be present in general. The second part of the paper uses Schützenberger graphs to show that Gilbert's extension embeds in one of the previously known extensions, one studied by the author in a sequence of papers; and also to show that \(S\) is full in Gilbert's extension (that is, no new idempotents are introduced) if and only if \(A\) and \(B\) are order ideals.

Recommendations

• FINITE PRESENTABILITY OF HNN EXTENSIONS OF INVERSE SEMIGROUPS
• HNN extensions of inverse semigroups and groupoids.
• Locally full HNN extensions of inverse semigroups
• Context-freeness of the languages of Schützenberger automata of HNN-extensions of finite inverse semigroups
• HNN extensions with lower bounded inverse monoids
• The word problem for HNN-extensions of free inverse semigroups
• HNN extensions of inverse semigroups with zero
• HNN Extensions of Inverse Semigroups and Applications
• Extending partial isomorphisms and McAlister's covering theorem
• Some completely semisimple HNN-extensions of inverse semigroups

Cites work

• A class of inverse monoids acting on ordered forests.
• EMBEDDING THEOREMS FOR SEMIGROUPS
• FINITE PRESENTABILITY OF HNN EXTENSIONS OF INVERSE SEMIGROUPS
• Free products with amalgamation of inverse semigroups
• HNN Extensions of Inverse Semigroups and Applications
• HNN extensions of inverse semigroups and groupoids.
• HNN extensions of semigroups
• HNN EXTENSIONS OF SEMILATTICES
• scientific article; zbMATH DE number 3869616 (Why is no real title available?)
• scientific article; zbMATH DE number 3916586 (Why is no real title available?)
• scientific article; zbMATH DE number 3691607 (Why is no real title available?)
• Locally full HNN extensions of inverse semigroups
• Presentations of Bruck-Reilly extensions and decision problems
• Presentations of inverse monoids
• The Fundamental Groupoid of a Graph of Groups
• The word problem for HNN-extensions of free inverse semigroups

Cited in

(15)

• HNN extensions of semigroups
• HNN extensions of inverse semigroups and groupoids.
• The Hahn embedding theorem for a class of residuated semigroups
• Partial actions and an embedding theorem for inverse semigroups
• Locally full HNN extensions of inverse semigroups
• 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 Inverse Semigroups and Applications
• HNN EXTENSIONS OF SEMILATTICES
• John Macintosh Howie: work and legacy
• EMBEDDING THEOREMS FOR GROUPS PRESENTED VIA PARTIAL AUTOMORPHISMS: A GENERALIZATION OF SEMIDIRECT PRODUCTS AND HNN EXTENSIONS
• Some completely semisimple HNN-extensions of inverse semigroups
• FINITE PRESENTABILITY OF HNN EXTENSIONS OF INVERSE SEMIGROUPS
• Embedding theorems for groups presented via partial automorphisms.

This page was built for publication: Embedding theorems for HNN extensions of inverse semigroups.

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