No label defined (Q4953908)

Let \({\mathbb{K}}\) be an algebraic number field with ring of integers \({\mathbb{Z}}_{\mathbb{K}}\). For \(\alpha \in {\mathbb{Z}}_{\mathbb{K}}\) and \({\mathcal N}\subseteq{\mathbb{Z}}\) the pair \(\{\alpha, {\mathcal N}\}\) is called a number system, if there exist uniquely for every \(0\neq \beta\in{\mathbb{Z}}[\alpha ]\) a nonnegative integer \(L(\beta)\) and \(b_0,\ldots ,b_{L(\beta)}\in {\mathcal N}\) such that \(b_{L(\beta)}\neq 0\) and \[ \beta=\sum_{i=0}^{L(\beta)}b_i\alpha ^i. \] We say that \[ \gamma =\sum_{i=L(\gamma)}^\infty a_{-i}\alpha ^{-i} \] is the \(\alpha {\mathcal N}\)-expansion of a complex \(\gamma\), if \(a_i\in {\mathcal N}, i=L(\gamma), L(\gamma)-1, \ldots \) and \(a_{-L(\gamma)}\neq 0.\) In this paper the author proves the following theorem: Let \(\{\alpha, {\mathcal N}\}\) be a number system such that \({\mathbb{K}}={\mathbb{Q}}(\alpha).\) Then there exists an algorithm which computes a periodic \(\alpha {\mathcal N}\) expansion for any \(\gamma\in {\mathbb{K}} \).