We show that every Dedekind domain $R$ lying between the polynomial rings $\Z[X]$ and $\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\Z$ there exists a finite subset $E_p$ of transcendental elements over $\Q$ in the absolute integral closure $\overline{\Z_p}$ of the ring of $p$-adic integers such that $R=\{f\in\Q[X]\mid f(E_p)\subseteq \overline{\Z_p}, \text{ for each prime }p\in\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 $\Z[X]$ and $\Q[X]$.

Polynomial Dedekind domains with finite residue fields of prime characteristic

Peruginelli, Giulio
2023

Abstract

We show that every Dedekind domain $R$ lying between the polynomial rings $\Z[X]$ and $\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\Z$ there exists a finite subset $E_p$ of transcendental elements over $\Q$ in the absolute integral closure $\overline{\Z_p}$ of the ring of $p$-adic integers such that $R=\{f\in\Q[X]\mid f(E_p)\subseteq \overline{\Z_p}, \text{ for each prime }p\in\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 $\Z[X]$ and $\Q[X]$.
File in questo prodotto:
File Dimensione Formato  
PolDedekind screen pjm-v324-n2-p06-s.pdf

accesso aperto

Tipologia: Published (publisher's version)
Licenza: Creative commons
Dimensione 404.93 kB
Formato Adobe PDF
404.93 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/3489220
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact