THE CYCLICITY PROBLEM FOR THE IMAGES OF Q-RATIONAL SERIES
We show that it is decidable whether or not; a given Q-rational series in several noncommutative variables has a cyclic image. By definition, a series r has a cyclic image if there is a rational number q such that all nonzero coefficients of r are integer powers of q.
decidability rational series images of rational series