{"id":"arxiv/2610.16603","url":"https://arxiv.org/abs/2610.16603","tags":["math.NT"],"score":0,"title":"The ring of values of $E$-functions is not a field","domain":"math.NT","source":"arxiv","authors":["Stéphane Fischler","Tanguy Rivoal"],"reviews":0,"subject":"math.NT","summary":"Let $\\mathbf{E}$ be the ring of values taken at algebraic points by $E$-functions. The exponential function and the Bessel function $J_0$ are classical examples of $E$-functions. We prove that $\\mathbf{E}$ is not a field. More precisely, we prove that it is neither noetherian nor factorial, and construct non-units of $\\mathbf{E}$ explicity, including $e+1$, $J_0(1)$, and ${}_1F_1(a;b;1)$ for rational parameters $a$ and $b$ such that $0","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-12","reactions":{}}