A classification of Prufer domains of integer-valued polynomials on algebras

Abstract

Let $D$ be an integrally closed domain with quotient field $K$ and $A$ a torsion-free $D$-algebra that is finitely generated as a $D$-module and such that $A\cap K=D$. We give a complete classification of those $D$ and $A$ for which the ring $\text{Int}_K(A)=\{f\in K[X] \mid f(A)\subseteq A\}$ is a Prüfer domain. If $D$ is a semiprimitive domain, then we prove that $\text{Int}_K(A)$ is Prüfer if and only if $A$ is commutative and isomorphic to a finite direct product of almost Dedekind domains with finite residue fields, each of them satisfying a double-boundedness condition on its ramification indices and residue field degrees.

Theorems & Definitions (75)

• Definition 1.2
• Theorem 1.3
• Definition 1.4
• Definition 1.5
• Theorem 1.6
• Theorem 1.7
• Conjecture 1.8
• Theorem 1.9
• Theorem 2.1
• Example 2.2