A reversal system is a topological Markov shift (X,$\sigma$) with an automorphism of X (called a reversal) intertwining $\sigma$ and $\sigma^{-1}$. Two reversal systems are said to be conjugate if there is a topological conjugacy between their underlying topological Markov shifts that intertwines the reversals. We give an equivalent condition for a topological conjugacy between the underlying shifts of two reversal systems to be a conjugacy between the reversal systems. Also we show that the class of reversal systems satisfies an analogue of the decomposition theorem in the class of topological Markov shifts.
가역계는 마르코프 천이공간과 천이사상 그리고 천이사상과 그 역을 서로 얽히게 하는 자기동형사상으로 이루어진다. 두 마르코프 천이공간이 동형일 때, 그 동형사상이 두 가역사상을 서로 얽히게 하는 경우 두 가역계가 동형이라고 한다. 이 논문에서는 동형인 두 마르코프 천이공간에 대해서 주어진 천이공간들에 정의되는 두 가역계가 동형이 될 필요충분조건을 다룬다. 그리고 마르코프 천이공간에 대한 분할정리와 유사한 가역계의 분할정리를 증명한다.