Decidability of shift equivalence

  • Ki Hang Kim
  • Fred W. Roush
Conference paper

DOI: 10.1007/BFb0082843

Part of the Lecture Notes in Mathematics book series (LNM, volume 1342)
Cite this paper as:
Kim K.H., Roush F.W. (1988) Decidability of shift equivalence. In: Alexander J.C. (eds) Dynamical Systems. Lecture Notes in Mathematics, vol 1342. Springer, Berlin, Heidelberg

Abstract

Shift equivalence is the relation between matrices A, B that matrices R, S exist with RA=BR, AS=SA, SR=An, RS=Bn, n∈Z. We prove decidability in all cases of shift equivalence over Z+ reducing it to congruences, inequalities, and determinant conditions on a C such that R0C is a desired Z shift equivalence, where R0 is a given shift equivalence over Q. Congruences are only modulo primes occurring to bounded powers in the determinant. We find generators for a group in which other primes are invertible, and for cosets of this group and reduce modulo some m.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1988

Authors and Affiliations

  • Ki Hang Kim
    • 1
  • Fred W. Roush
    • 1
  1. 1.Mathematics Research GroupAlabama State UniversityMontgomery

Personalised recommendations