Dp-finite and Noetherian NIP integral domains
Logic
2026-03-09 v3 Commutative Algebra
Abstract
We prove some results on NIP integral domains, especially those that are Noetherian or have finite dp-rank. If is an NIP Noetherian domain that is not a field, then is a semilocal ring of Krull dimension 1, and the fraction field of has characteristic 0. Assuming the henselianity conjecture (on NIP valued fields), is a henselian local ring. Additionally, we show that integral domains of finite dp-rank are henselian local rings. Finally, we lay some groundwork for the study of Noetherian domains of finite dp-rank, and we classify dp-minimal Noetherian domains.
Keywords
Cite
@article{arxiv.2302.03315,
title = {Dp-finite and Noetherian NIP integral domains},
author = {Will Johnson},
journal= {arXiv preprint arXiv:2302.03315},
year = {2026}
}
Comments
26 pages, minor revisions