Non-isomorphism of rings of integer-coefficient holomorphic functions on disks of varying radius
For $ρ\in (0,1]$, let $R(ρ) = \mathbb{Z}[[z]] \cap O(B(0,ρ))$ denote the ring of power series with integer Taylor coefficients converging on the open disk $B(0,ρ)$. We prove that these rings are pairwise non-isomorphic as abstract rings. Three ingredients drive the proof: the ideal $(z)$ is the unique principal ideal with quotient $\mathbb{Z}$, so any isomorphism sends $z$ to a generator $g$ of $(z)$; every isomorphism is substitution by $g$, because it respects the $(z)$-adic filtration; and a Hadamard gap series with a natural boundary at $|w| = ρ_1$ forces the image $g(B(0,ρ_2))$ into…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.22912
curl -X POST /api/v1/records/arxiv/2607.22912/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.22912/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'