{"id":"arxiv/2607.27774","url":"https://arxiv.org/abs/2607.27774","tags":["math.NT"],"score":0,"title":"Irrationality of finite logarithms in a congruence-class adèle ring","domain":"math.NT","source":"arxiv","authors":["Daniel Evans"],"reviews":0,"subject":"math.NT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-30","reactions":{}}