Let $X$ be a torsion-free, totally disconnected, locally compact abelian group. I want to find a non-zero subgroup of $X$ with the following conditions:
1- compact
2- open
3- $n-$divisible for some $n$.
Of course, it is clear that $\bigcap_{r=1}^{\infty}n^{r}K$ is $n-$divisible and compact, for some compact open subgroup $K$ of $X$ and $n$. But it need not be non-zero.
I will be grateful if you can help.
Below $X$ is a totally disconnected locally compact Hausdorff abelian group.
If $X$ is $\mathbb Z$ with discrete topology then the only compact subgroup of $X$ is the zero subgroup. So I suggest to interpret the largeness of the searched compact group not as “non-zero”, but as open.
If $\mathcal L$ in Proposition 3.3.9 from [DPS] denotes the class of all locally compact Hausdorff abelian groups then $X$ has a linear topology and contains an open compact subgroup.
An abelian totally disconnected compact (even countably compact) Hausdorff topological group $X$ is reduced, that is $X$ has no non-zero divisible subgroups [AT, Pr. 9.12.A].
Proposition 3.5.9 from [DPS] describes the structure of totally disconnected compact abelian groups.
At last I remark that the group $\mathbb Z_p$ of p-adic integers should be torsion free and $n$-divisible for each $n$ coprime with $p$ (see, for instance, [M, p.4]).
Good luck!
References
[AT] Alexander V. Arhangel'skii, Mikhail G. Tkachenko, Topological groups and related structures, Atlantis Press, Paris; World Sci. Publ., NJ, 2008.
[DPS] Dikran N. Dikranjan, Ivan R. Prodanov, Luchezar N. Stoyanov. Topological Groups, Marcel Dekker, New-York, 1990.
[M] David A. Madore, A first introduction to p-adic numbers.