Download this article
 Download this article For screen
For printing
Recent Issues

Volume 19
Issue 10, 1881–2090
Issue 9, 1671–1880
Issue 8, 1463–1670
Issue 7, 1259–1462
Issue 6, 1049–1258
Issue 5, 835–1048
Issue 4, 617–834
Issue 3, 415–616
Issue 2, 213–413
Issue 1, 1–211

Volume 18, 12 issues

Volume 17, 12 issues

Volume 16, 10 issues

Volume 15, 10 issues

Volume 14, 10 issues

Volume 13, 10 issues

Volume 12, 10 issues

Volume 11, 10 issues

Volume 10, 10 issues

Volume 9, 10 issues

Volume 8, 10 issues

Volume 7, 10 issues

Volume 6, 8 issues

Volume 5, 8 issues

Volume 4, 8 issues

Volume 3, 8 issues

Volume 2, 8 issues

Volume 1, 4 issues

The Journal
About the journal
Ethics and policies
Peer-review process
 
Submission guidelines
Submission form
Editorial board
Editors' interests
 
Subscriptions
 
ISSN 1944-7833 (online)
ISSN 1937-0652 (print)
 
Author index
To appear
 
Other MSP journals
Stacked pseudo-convergent sequences and polynomial Dedekind domains

Giulio Peruginelli

Vol. 19 (2025), No. 10, 1947–1972
Abstract

Let p be a prime, p¯ a fixed algebraic closure of the field of p-adic numbers and p¯ the absolute integral closure of the ring of p-adic integers. Given a residually algebraic torsion extension W of (p) to (X), by Kaplansky’s characterization of immediate extensions of valued fields, there exists a pseudo-convergent sequence of transcendental type E = {sn}n p¯ such that

W = (p),E = {ϕ (X)ϕ(sn) p¯  for all sufficiently large n }.

We show here that we may assume that E is stacked, in the sense that, for each n , the residue field (resp. the value group) of p¯ p(sn) is contained in the residue field (resp. the value group) of p¯ p(sn+1); this property of E allows us to describe the residue field and value group of W. In particular, if W is a DVR, then there exists α in the completion p of [t]p¯, α transcendental over , such that W = (p),α = {ϕ (X)ϕ(α) 𝕆p}, where 𝕆p is the unique local ring of p; α belongs to [t]p¯ if and only if the residue field extension WM p is finite. As an application, we provide a full characterization of the Dedekind domains between [X] and [X].

To the memory of my mother

Keywords
pseudo-convergent sequence, residually algebraic extension, distinguished pair, minimal pair, Dedekind domain, integer-valued polynomials
Mathematical Subject Classification
Primary: 12J20, 13A18, 13F05, 13F20, 13F30
Milestones
Received: 21 March 2023
Revised: 10 June 2024
Accepted: 21 October 2024
Published: 5 September 2025
Authors
Giulio Peruginelli
Dipartimento di Matematica “Tullio Levi-Civita”
Università di Padova
Padova
Italy

Open Access made possible by participating institutions via Subscribe to Open.