On the rational subsets of the monogenic free inverse monoid

• Type: Article in International Scientific Journal
• Date: 2023

Authors

Pedro V. Silva (Author) FCUP

Journal

Title: Journal of Algebra

Vol. 618

Pages: 214-240

ISSN: 0021-8693

Publisher: Elsevier

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 1 Citation

Other information

Authenticus ID: P-00X-PKT

DOI: 10.1016/j.jalgebra.2022.12.006

Abstract (EN): We prove that the equality problem is decidable for rational subsets of the monogenic free inverse monoid F. It is also decidable whether or not a rational subset of F is recognizable. We prove that a submonoid of F is rational if and only if it is finitely generated. We also prove that the membership problem for rational subsets of a finite J-above monoid is decidable, covering the case of free inverse monoids.(c) 2022 The Author(s). Published by Elsevier Inc. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/).

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 27