Fixed points of endomorphisms of trace monoids.

From MaRDI portal



Abstract: It is proved that the fixed point submonoid and the periodic point submonoid of a trace monoid endomorphism are always finitely generated. Considering the Foata normal form metric on trace monoids and uniformly continuous endomorphisms, a finiteness theorem is proved for the infinite fixed points of the continuous extension to real traces.


Given an alphabet \(A\) and a symmetric anti-reflexive relation \(I\) on \(A\), the corresponding \textit{trace monoid} is given by presentation \(\langle A:ab=ba,\;(a,b)\in I\rangle\). In the paper under review it is shown that the fixed point submonoid and the periodic point submonoid associated to an endomorphism of a trace monoid over a finite alphabet are always finitely generated. The second main result of the paper addresses the question of rationality for fixed point monoids. It is shown that rationality for all endomorphisms is equivalent to the requirement for the original trace monoid to be a free product of free commutative monoids.











This page was built for publication: Fixed points of endomorphisms of trace monoids.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q467531)