Representation of complex numbers in number systems (Q1187304)

Let \(\alpha\) be an element of an integral domain \({\mathcal R}\) and \({\mathcal N}\) be a finite set of rational integers. If every \(\gamma\in{\mathcal R}\) can be written uniquely in the form \(\gamma=a_ 0+a_ 1\alpha+\cdots+a_ k\alpha^ k\) \((a_ j\in{\mathcal N})\), with \(a_ k\neq 0\) if \(k\neq 0\), then \(\{\alpha,{\mathcal N}\}\) is called a number system in \({\mathcal R}\). If \({\mathcal N}\) also has the form \(\{0,1,\ldots,n\}\) for some \(n\), then \(\{\alpha,{\mathcal N}\}\) is called a canonical number system. In this paper the author is concerned with the case when \({\mathcal R}=\mathbb Z[\beta]\) where \(\beta\) is an algebraic integer over \(\mathbb Q\). Extending earlier work by \textit{I. Kátai} and \textit{J. Szabó} [Acta Sci. Math. 37, 255--260 (1975; Zbl 0297.12003)] for \(\mathbb Z(\sqrt{-1})\), he then establishes necessary and sufficient conditions that every complex number \(\gamma\) admits an expansion \(\gamma=a_ k\alpha^ k+\cdots+a_ 1\alpha+a_ 0+a_{- 1}\alpha^{-1}+\cdots(a_ j\in{\mathcal N})\), where \(\{\alpha,{\mathcal N}\}\) is a number system in \({\mathcal R}\). Using his theorem, he then determines a class of number systems with the stated property. Finally he shows that every number system in the ring of integers of an imaginary cubic field has the property in question.