Polynomial Dedekind domains with finite residue fields of prime characteristic

Abstract

We show that every Dedekind domain $R$ lying between the polynomial rings $\mathbb{Z}[X]$ and $\mathbb{Q}[X]$ with the property that its residue fields of prime characteristic are finite fields is equal to a generalized ring of integer-valued polynomials, that is, for each prime $p\in \mathbb{Z}$ there exists a finite subset $E_p$ of transcendental elements over $\mathbb{Q}$ in the absolute integral closure $\overline{{\mathbb{Z}}_p}$ of the ring of $p$-adic integers such that $R=\{f\in \mathbb{Q}[X]\mid f(E_p)\subseteq \overline{{\mathbb{Z}}_p},\forall \text{ prime }p\in \mathbb{Z}\}$. Moreover, we prove that the class group of $R$ is isomorphic to a direct sum of a countable family of finitely generated abelian groups. Conversely, any group of this kind is the class group of a Dedekind domain $R$ between $\mathbb{Z}[X]$ and $\mathbb{Q}[X]$.

arXiv commentto appear in the Pacific Journal of Math. (2023)

References in corpus (7)

• Integer-valued polynomials on algebras
• Prüfer intersection of valuation domains of a field of rational functions
• Non-triviality Conditions for Integer-valued Polynomial Rings on Algebras
• Polynomial overrings of $\mathrm{Int}(\mathbb{Z})$
• Adelic versions of the Weierstrass approximation theorem
• Transcendental extensions of a valuation domain of rank one
• Quasi-Euclidean subrings of Q[x]

Cited by in corpus (2)

• Stacked Pseudo-Convergent Sequences and Polynomial Dedekind Domains
• Nontriviality of rings of integral-valued polynomials