Irrationality of finite logarithms in a congruence-class adèle ring
Finite logarithms can be defined in the ``poor man's adèle ring" $\mathcal{A}$ using Fermat quotients modulo sufficiently large primes. This ring contains $\mathbb{Q}$ and outside the trivial cases, Matsusaka and Seki have shown that finite logarithms cannot take non-zero rational values in $\mathcal{A}$. Furthermore, a theorem of Silverman shows they are not zero, assuming the $abc$-conjecture. We extend these results to primes restricted to arithmetic progressions of the form $p\equiv 1\bmod m$ by relating Fermat quotients to values of cyclotomic polynomials and their logarithmic…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.27774
curl -X POST /api/v1/records/arxiv/2607.27774/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.27774/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'