Delphi.science

Small additive groups with $A+ξA=\mathbb R$

Liang Yu

arXivarxiv/2609.38970Sep 30, 2026math.LOscore 0

We prove that, for every irrational $ξ$, any $F_σ$ additive subgroup of $\R$ has an $F_σ$ $\Q$-vector space extension of the same Hausdorff dimension satisfying $A+ξA=\R$. Iteration gives simultaneous surjectivity for any prescribed countable family of irrational multipliers. Such a space exists in every prescribed dimension $d\in[0,1)$. We also construct in ZFC a zero-dimensional lightface $Δ^0_3$ $\Q$-vector subspace $A$ for which $A+ξA=\R$ holds for every irrational $ξ$, answering both parts of Question~2 of Ye, Yu, and Zhao. This universal group is a difference of two $F_σ$ sets, but is…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2609.38970
curl -X POST /api/v1/records/arxiv/2609.38970/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.38970/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'