On integers that are representable as the sum of two units
Let $K$ be a number field of degree $D$ with maximal order $\mathcal{O}_K$. We show that under certain conditions on $K$, which in particular are always satisfied if $D$ is odd or if $D \geq 3$ and $K$ is primitive, the set of positive integers $N_K$ that can be expressed as a sum of two units in $\mathcal{O}_K^*$ is a finite effectively computable set. This result partially resolves an open problem posed by Tinková, Yatsyna, and the first author. We illustrate our method by explicitly computing $N_K$ for the smallest totally real quintic field $K$ with Galois group $S_5$.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.15903
curl -X POST /api/v1/records/arxiv/2608.15903/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.15903/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'