For a real number $q>1$ and a positive integer $m$, let $Y_m\left(q\right):=\left\{{\sum }_{i=0}^n{ϵ}_i{q}^i:{ϵ}_i\in \left\{0,\pm 1,...,\pm m\right\},n=0,1,...\right\}$. In this paper, we show that $Y_m\left(q\right)$ is dense in $ℝ$ if and only if $q<m+1$ and $q$ is not a Pisot number. This completes several previous results and answers an open question raised by Erdös, Joó and Komornik [8].

Consider two families of hyperelliptic curves (over ℚ), $C^{n,a}:y²=xⁿ+a$ and $C_{n,a}:y²=x(xⁿ+a)$, and their respective Jacobians $J^{n,a}$, $J_{n,a}$. We give a partial characterization of the torsion part of $J^{n,a}\left(\mathbb{Q}\right)$ and $J_{n,a}\left(\mathbb{Q}\right)$. More precisely, we show that the only prime factors of the orders of such groups are 2 and prime divisors of n (we also give upper bounds for the exponents). Moreover, we give a complete description of the torsion part of $J_{8,a}\left(\mathbb{Q}\right)$. Namely, we show that $J_{8,a}{\left(\mathbb{Q}\right)}_{tors}=J_{8,a}\left(\mathbb{Q}\right)\left[2\right]$. In addition, we characterize the torsion parts of $J_{p,a}\left(\mathbb{Q}\right)$, where p is an odd prime, and...

Let K, L be algebraic number fields with K ⊆ L, and $O_K$, $O_L$ their respective rings of integers. We consider the trace map $T=T_{L/K}:L\to K$ and the $O_K$-ideal $T\left(O_L\right)\subseteq O_K$. By I(L/K) we denote the group indexof $T\left(O_L\right)$ in $O_K$ (i.e., the norm of $T\left(O_L\right)$ over ℚ). It seems to be difficult to determine I(L/K) in the general case. If K and L are absolutely abelian number fields, however, we obtain a fairly explicit description of the number I(L/K). This is a consequence of our description of the Galois module structure of $T\left(O_L\right)$ (Theorem 1). The case...

For any two positive integers $n$ and $k\ge 2$, let $G(n,k)$ be a digraph whose set of vertices is $\{0,1,...,n-1\}$ and such that there is a directed edge from a vertex $a$ to a vertex $b$ if $a^k\equiv b(modn)$. Let $n={\prod }_{i=1}^r{p}_i^{e_i}$ be the prime factorization of $n$. Let $P$ be the set of all primes dividing $n$ and let $P_1,P_2\subseteq P$ be such that $P_1\cup P_2=P$ and $P_1\cap P_2=\varnothing$. A fundamental constituent of $G(n,k)$, denoted by $G_{P_2}^{*}(n,k)$, is a subdigraph of $G(n,k)$ induced on the set of vertices which are multiples of ${\prod }_{p_i\in P_2}{p}_i$ and are relatively prime to all primes $q\in P_1$. L. Somer and M. Křížek proved that the trees attached to all cycle...