$G$ be a non-measurable subgroup of $(\mathbb R,+)$ ; $I$ be a bounded interval , then $m^*(G \cap I)=m^*(I)$?

Let $G$ be a non-measurable subgroup of $(\mathbb R,+)$ , $I$ be a bounded interval , then is it true that $m^*(G \cap I)=m^*(I)(=|I|)$ ? where $m^*$ denotes the Lebesgue outer measure

Solutions Collecting From Web of "$G$ be a non-measurable subgroup of $(\mathbb R,+)$ ; $I$ be a bounded interval , then $m^*(G \cap I)=m^*(I)$?"

The answer “yes” follows from results in the article “On Two Halves Being Two Wholes” by Andrew Simoson in The American Mathematical Monthly Vol. 91, No. 3 (Mar., 1984), pp. 190-193. Some readers might not have access, but here is the JSTOR link: http://www.jstor.org/stable/2322357 The article was cited in the article i707107 linked to in a comment.

In the article a subset $A\subseteq \mathbb R$ is called Archimedean if $\{r\in\mathbb R:A+r=A\}$ is dense in $\mathbb R$. Theorem 2 states that if $A$ is Archimedean with positive outer measure, then for every interval $I$, $m^*(A\cap I)=m^*(I)$.

A dense subgroup of $\mathbb R$ is Archimedean, and a nonmeasurable subgroup of $\mathbb R$ is dense with positive outer measure, so the theorem applies to affirm your conjecture.

From the article provided by @Jonas Meyer: http://www.jstor.org/stable/2322357

An alternative approach to this problem is possible. This approach is already provided by @Syang Chen at MathOverflow: https://mathoverflow.net/questions/59978/additive-subgroups-of-the-reals/59980

Let $f(x) = m^*(G\cap [0,x])$. Then, for any $x, y \in G \cap (0,\infty)$, we have the additivity:
$$
f(x+y)=f(x)+f(y).
$$
Since $G$ is dense and $f$ is monotone, the additivity is generalized to all positive real numbers $x, y$. Moreover, $f(x) = ax$ with $a= f(1)$ is satisfied.

Thus, if $I$ is any open interval, then
$$
\frac{m^*(G\cap I)}{m^*(I)} = a .
$$

Now, we find $I$ by the Theorem 1 in the article. This gives $a=1$.