Factoriality and the Pin-Reutenauer procedure
Abstract
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 pro-V semigroup on the same set of generators. Furthermore, we show that the natural analogue of the Pin-Reutenauer descriptive procedure for the closure of a rational language in the free group with respect to the profinite topology holds for the pseudovariety of all finite semigroups. As an application, we establish that a pseudovariety enjoys this property if and only if it is full.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2015
- DOI:
- 10.48550/arXiv.1506.01074
- arXiv:
- arXiv:1506.01074
- Bibcode:
- 2015arXiv150601074A
- Keywords:
-
- Mathematics - Group Theory;
- Primary 20M07;
- Secondary 20M05;
- 20M35;
- 68Q70
- E-Print:
- Discrete Mathematics &