Strong characterizing sequences of countable groups

András Biró and Vera Sós prove that for any subgroup G   of TT generated freely by finitely many generators there is a sequence A⊆NA⊆N such that for all β∈Tβ∈T we have (‖.‖‖.‖ denotes the distance to the nearest integer)β∈G⇒∑n∈A‖nβ‖<∞,β∉G⇒lim supn∈A,n→∞‖nβ‖>0. We extend this result to arbitrary countable subgroups of TT. We also show that not only the sum of norms but the sum of arbitrary small powers of these norms can be kept small. Our proof combines ideas from the above article with new methods, involving a filter characterization of subgroups of TT.