A monogenic Hasse-Arf theorem
I extend the Hasse–Arf theorem from residually separable extensions of complete discrete valuation rings to monogenic extensions.
I extend the Hasse–Arf theorem from residually separable extensions of complete discrete valuation rings to monogenic extensions.
A domain R is called an absolutely S-domain (for short, AS-domain) if each domain T such that R ⊆ T ⊆ qf(R) is an S-domain. We show that R is an AS-domain if and only if for each valuation overring V of R and each height one prime ideal q of V, the extension R/(q ∩ R) ⊆ V/q is algebraic. A Noetherian domain R is an AS-domain if and only if dim (R) ≤ 1. In Section 2, we study a class of R-subalgebras of R[X] which share many spectral properties with the polynomial ring R[X] and which we call pseudo-polynomial...