Polynomial Dedekind domains with finite residue fields of prime characteristic (Q6165155): Difference between revisions

This is a very good paper. Let \(\mathbb{Z}\) be the ring of integers, \(\mathbb{Q}\) be the field of rational numbers, \(X\) be an indeterminate over \(\mathbb{Q}\), \(\mathbb{P}\) be the set of prime numbers, and \(\overline{\mathbb{Z}_p}\) be the absolute integral closure of the ring of \(p\)-adic integers for each \(p \in \mathbb{P}\). In this paper, Peruginelli shows that if \(R\) is a Dedekind domain lying between \(\mathbb{Z}[X]\) and \(\mathbb{Q}[X]\) such that its residue fields of prime characteristic are finite fields, then \(R = \{f \in \mathbb{Q}[X] \mid f(E_p) \subseteq \overline{\mathbb{Z}_p}\) for each \(p \in \mathbb{P}\}\), where \(E_p\) is a finite subset of \(\overline{\mathbb{Z}_p}\) of transcendental elements over \(\mathbb{Q}\) for each \(p \in \mathbb{P}\), and the class group of \(R\) is a direct sum of a countable family of finitely generated abelian groups. He also shows that any group of this kind is the class of a Dedekind domain lying between \(\mathbb{Z}[X]\) and \(\mathbb{Q}[X]\).