Factoriality and the Pin-Reutenauer procedure

We consider implicit signatures over finite semigroups determined by sets of pseudonatural numbers. We prove that, under relatively simple hypotheses on a pseudovariety V of semigroups, the finitely generated free algebra for the largest such signature is closed under taking factors within the free...

Full description

Bibliographic Details
Main Authors: J. Almeida, J. C. Costa, M. Zeitoun
Format: Article
Language:English
Published: Discrete Mathematics & Theoretical Computer Science 2016-03-01
Series:Discrete Mathematics & Theoretical Computer Science
Subjects:
Online Access:https://dmtcs.episciences.org/650/pdf