For a subgroup A of ( R, + ) $(\mathbb {R},+)$ left parenthesis double struck upper R comma plus right parenthesis and a real x, define A + x A = { a + x b : a, b ∈ A } $A+xA=\{ a + x b : a, b \in A \}$ upper A plus x upper A equals left brace a plus x b colon a comma b element of upper A right brace and X A = { x ∈ R : A + x A = R } $X_A=\{x\in \mathbb {R}:A + x A=\mathbb {R}\}$ upper X Subscript upper A Baseline equals StartSet x element of double struck upper R colon upper A plus x upper A eq…
Read moreFor a subgroup A of ( R, + ) $(\mathbb {R},+)$ left parenthesis double struck upper R comma plus right parenthesis and a real x, define A + x A = { a + x b : a, b ∈ A } $A+xA=\{ a + x b : a, b \in A \}$ upper A plus x upper A equals left brace a plus x b colon a comma b element of upper A right brace and X A = { x ∈ R : A + x A = R } $X_A=\{x\in \mathbb {R}:A + x A=\mathbb {R}\}$ upper X Subscript upper A Baseline equals StartSet x element of double struck upper R colon upper A plus x upper A equals double struck upper R EndSet. We show that there is an F σ $F_\sigma $ upper F Subscript sigma subgroup A of ( R, + ) $(\mathbb {R},+)$ left parenthesis double struck upper R comma plus right parenthesis such that dim H ( A ) ≤ 1 2 $\mathrm {dim_H} (A) \le \frac {1}{2}$ dimension Subscript normal upper H Baseline left parenthesis upper A right parenthesis less than or equals one half and X A ≠ ∅ $X_A \neq \emptyset $ upper X Subscript upper A Baseline not equals normal empty set. However, if A ⊆ R $A \subseteq \mathbb {R}$ upper A subset of or equal to double struck upper R is a subring of R $\mathbb {R}$ double struck upper R and X A ≠ ∅ $X_A \neq \emptyset $ upper X Subscript upper A Baseline not equals normal empty set, then A = R $A =\mathbb {R}$ upper A equals double struck upper R. Moreover, assuming the continuum hypothesis, there is a subgroup A of ( R, + ) $(\mathbb {R},+)$ left parenthesis double struck upper R comma plus right parenthesis with dim H ( A ) = 0 $\mathrm {dim_H} (A) = 0$ dimension Subscript normal upper H Baseline left parenthesis upper A right parenthesis equals 0 such that X A = R ∖ Q $X_A =\mathbb {R}\backslash \mathbb {Q}$ upper X Subscript upper A Baseline equals double struck upper R minus double struck upper Q. The proof of this theorem combines several techniques in recursion theory and algorithmic dimension. Several other theorems on analytic subgroups and subfields of the reals are presented. We also discuss some of these results in the p-adics.