The p-adic closure of a subgroup of rational points on a commutative algebraic group
Let G be a commutative algebraic group over Q. Let Gamma be a subgroup of G(Q) contained in the union of the compact subgroups of G(Q_p). We formulate a guess for the dimension of the closure of Gamma in G(Q_p), and show that its correctness for certain tori is equivalent to Leopoldt's conjecture.