### Abstract

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 -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 -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.

Original language | English |
---|---|

Pages (from-to) | 423-436 |

Number of pages | 14 |

Journal | International Journal of Algebra and Computation |

Volume | 15 |

Issue number | 3 |

Publication status | Published - Jun 2005 |

### Keywords

- inverse semigroup
- finite presentation
- HNN extension
- presentability

## Fingerprint Dive into the research topics of 'Finite presentability of HNN extensions of inverse semigroups'. Together they form a unique fingerprint.

## Cite this

Dombi, E., Gilbert, N. D., & Ruskuc, N. (2005). Finite presentability of HNN extensions of inverse semigroups.

*International Journal of Algebra and Computation*,*15*(3), 423-436.