Number systems in integral domains, especially in orders of algebraic number fields. (English) Zbl 0760.11002

Kovács, B.; Pethö, A.

Acta Sci. Math. 55, No. 3-4, 287-299 (1991).

Let \(R\) be an integral domain, \(\alpha\in R\), \({\mathcal N}=\{n_ 1,\dots,n_ m\}\subset\mathbb Z\). \(\{\alpha,{\mathcal N}\}\) is called a number system in \(R\) if any \(\gamma\in R\) is uniquely representable in the form \[ \gamma=c_ 0+c_ 1\alpha+\cdots+c_ h\alpha^ h,\quad c_ j\in{\mathcal N} (j=0,1,\dots,h),\;c_ h\neq 0\text{ if } h\neq 0. \] The authors show, that there exists a number system in \(R\) if and only if either \(R=\mathbb Z[\alpha]\) with an algebraic number \(\alpha\), or \(R=F_ p[x]\) where \(F_ p\) is the field with \(p\) elements and \(x\) is transcendental over \(F_ p\). In both cases they characterize all number systems in \(R\). Moreover, the canonical number systems \(\{\alpha,{\mathcal N}_ 0(\alpha)\}\) are characterized in orders \({\mathcal O}\) of algebraic number fields \(K\), where \({\mathcal N}_ 0(\alpha)=\{0,1,\dots,| N_{K/\mathbb Q}(\alpha)|-1\}\), \(\alpha\in{\mathcal O}\). Finally, an algorithm is given to compute the canonical number systems in orders of algebraic number fields. Using this algorithm all canonical number systems are determined in the maximal orders of some totally real cubic number fields.

Reviewer: I.Gaál (Debrecen)

MSC:

11R04	Algebraic numbers; rings of algebraic integers
11A63	Radix representation; digital problems
11R16	Cubic and quartic extensions

Keywords:

integral domain; number system; orders; algorithm; canonical number systems; maximal orders; totally real cubic number fields