It is proved that the fixed point submonoid and the periodic point submonoid of a trace monoid endomorphism are always finitely generated. If the dependence alphabet is a transitive forest, it is proved that the set of regular fixed points of the (Scott) continuous extension of an endomorphism to real traces is Ω-rational for every endomorphism if and only if the monoid is a free product of free commutative monoids.

Fixed points of endomorphisms of trace monoids

Rodaro E.;
2014

Abstract

It is proved that the fixed point submonoid and the periodic point submonoid of a trace monoid endomorphism are always finitely generated. If the dependence alphabet is a transitive forest, it is proved that the set of regular fixed points of the (Scott) continuous extension of an endomorphism to real traces is Ω-rational for every endomorphism if and only if the monoid is a free product of free commutative monoids.
File in questo prodotto:
File Dimensione Formato  
Fixed points of endomorphisms of trace monoids.pdf

Accesso riservato

: Publisher’s version
Dimensione 524.46 kB
Formato Adobe PDF
524.46 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11311/1141868
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 3
social impact