Periodic polynomial of trace maps

Let σ be an endomorphism of the free group on two generators and Φσ the trace map associated with σ. A polynomial P is said to be periodic for σ if, for some positive integer n, it is invariant under , i.e., . In this note we study the structure of the ring of periodic polynomials for σ.