THE CYCLICITY PROBLEM FOR THE IMAGES OF Q-RATIONAL SERIES

: Honkala J

Publisher: CAMBRIDGE UNIV PRESS

: 2011

: RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications

: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS

: RAIRO-THEOR INF APPL

: 4

: 45

: 4

: 375

: 381

: 7

: 0988-3754

DOI: https://doi.org/10.1051/ita/2011111

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.