  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.

Group Theory;Formal Languages and Automata Theory