The decomposition theorem for two-dimensional shifts of finite type
Aimee S. A. Johnson, Kathleen Madden · Proceedings of the American Mathematical Society · 1999
A one-dimensional shift of finite type can be described as the collection of bi-infinite “walks" along an edge graph. The Decomposition Theorem states that every conjugacy between two shifts of finite type can be broken down into a finite sequence of splittings and amalgamations of their edge graphs. When dealing with two-dimensional shifts of finite type, the appropriate edge graph description is not as clear; we turn to Nasu’s notion of a “textile system" for such a description and show that all two-dimensional shifts of finite type can be so described. We then define textile splittings and amalgamations and prove that every conjugacy between two-dimensional shifts of finite type can be broken down into a finite sequence of textile splittings, textile amalgamations, and a third operation called an inversion.