Does a positive-measure subset of the unit interval almost surely intersect a random translation of some countable subgroup of $\mathbb{R}$? Please forgive me if this is a very easy question.
Let $A \subset [0,1]$ be a Borel-measurable set with strictly positive Lebesgue measure. Does there necessarily exist a countable subgroup $G$ of $\mathbb{R}$ such that the set
$$ \{ t \in [0,1] : (t+G) \cap A \neq \emptyset \} $$
has Lebesgue measure 1?
 A: As an exercise to myself, I thought I would write out the Lebesgue density argument suggested by Pablo Shmerkin.
Let $C$ be any countable dense subset of $\mathbb{R}$, such as $\mathbb{Q}$ (it doesn't have to be a subgroup).  Note that $\{t \in [0,1] : (t+C) \cap A \ne \emptyset\}$ can be written more concisely as $(A-C) \cap [0,1]$.
For a measurable set $B$, Let $L_B(x) = \liminf_{r \to 0} \frac{1}{2r}m(B \cap (x-r, x+r))$ be the lower density of $B$ at $x$.  Lebesgue's theorem asserts $L_B = 1_B$ almost everywhere.  Since $A$ has positive measure, let us choose $x_0 \in A$ with $L_A(x_0) =1$.   In particular, there exists $r_0 > 0$ so small that $m(A \cap (x_0-r, x_0+r)) \ge \frac{2r}{2} = r$ for all $0 < r < r_0$.
Now let $y \in \mathbb{R}$ be arbitrary.  I will show $L_{A-C}(y) > 0$.  Choose any positive $r < r_0$.  Since $C$ is dense, we may choose $q \in C$ such that $|(y+q)-x_0| < r/2$.  This means that $(x_0 - r/2, x_0 + r/2)  \subset (y+q-r, y+q+r)$.  So we have
$$\begin{align*} m((A-C) \cap (y-r, y+r)) &\ge m(A-q \cap (y-r, y+r)) \\ &= m(A \cap (y+q-r, y+q+r)) \\
&\ge m(A \cap (x_0 - r/2, x_0 + r/2)) \\
&\ge \frac{r}{2}.
\end{align*}$$
Since $r < r_0$ was arbitrary, this shows $L_{A-C}(y) \ge \frac{1}{4}$.  Since $y$ was arbitrary, $L_{A-C} > 0$ everywhere. Since $1_{A-C} = L_{A-C}$ almost everywhere, $A-C$ has full measure.  In particular $m((A-C) \cap [0,1]) = 1$.
