{"id":"arxiv/2609.15190","url":"https://arxiv.org/abs/2609.15190","tags":["math.NT"],"score":0,"title":"Algorithms for $p$-rationality and for $p$-saturation of units","domain":"math.NT","source":"arxiv","authors":["Tommy Hofmann","Henri Johnston"],"reviews":0,"subject":"math.NT","summary":"Let $K$ be a number field. We give new practical algorithms that determine whether $K$ is $p$-rational. For real cyclotomic fields $K=\\mathbb{Q}(ζ_{n})^{+}$, our method avoids computing either the class number or the full unit group. We also use the notion of $p$-rationality to explain the practical efficiency of an algorithm for determining whether a subgroup of the unit group $\\mathcal{O}_{K}^{\\times}$ is $p$-saturated. This in turn yields a new algorithm for the unconditional verification of unit groups of number fields that substantially outperforms existing unconditional algorithms in…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-14","reactions":{}}