Notes on the mapping torus of \(C^*\)-algebra (Q1801747)

Let \((A,\mathbb{Z},\alpha)\) be a \(C^*\)-dynamical system, and \(\alpha^ n=\)id \((n\) is a fixed positive integer). A natural problem is how the \(C^*\)-crossed product \(A\times_ \alpha\mathbb{Z}\) relates to \(A\times_ \alpha\mathbb{Z}_ n\). The answer is the following: \[ A\times_ \alpha\mathbb{Z}\cong M_{\hat\alpha}(A\times_ \alpha\mathbb{Z}_ n), \] where \(M_{\hat\alpha}(A\times_ \alpha\mathbb{Z}_ n)\) is the mapping torus of \(\hat\alpha\), and \((A\times_ \alpha\mathbb{Z}_ n,\;\hat\mathbb{Z}_ n,\;\hat\alpha)\) is the dual system of \((A,\mathbb{Z}_ n,\alpha)\). We give the sketch of an intuitive and elementary proof for this fundamental result. We believe that our proof of this result will provide further understanding of \(A\times_ \alpha\mathbb{Z}\) and \(A\times_ \alpha\mathbb{Z}_ n\).