2a4bdf93cd45e3ee.tex
1: \begin{abstract}
2:  Andr\'as Bir\'o and Vera S\'os %[A. Bir\'o, V. T. S\'os,
3:     %Strong characterizing sequences in simultaneous diophantine
4:     %approximation, J. of Number Theory 99 (2003) 405-414.]
5:  prove  that for any
6: subgroup $G$ of $\T$ generated freely by finitely many generators
7: there is a sequence $A\subset \N$ such that for all $\beta \in \T$
8: we have ($\|.\|$ denotes the distance to the nearest integer)
9: $$
10: \beta\in G  \Rightarrow  \sum_{n\in A} \| n \beta\| <
11: \infty,\quad \quad \quad \beta\notin G  \Rightarrow  \limsup_{n\in
12: A, n \rightarrow \infty } \|n \beta\| > 0. $$ We extend this
13: result to arbitrary countable subgroups of $\T$. We also show
14: that not only the sum of norms but the sum of arbitrary small
15: powers of these norms can be kept small. Our proof combines ideas
16: from the above article with new methods, involving a filter
17: characterization of subgroups of $\T$.
18: \end{abstract}
19: