Vol. 1, No. 1, 2022

Download this article
Download this article For screen
For printing
Recent Issues
Volume 1, Issue 1
The Journal
About the Journal
Editorial Board
Submission Guidelines
Submission Form
Policies for Authors
Ethics Statement
ISSN (electronic): 2832-904X
ISSN (print): 2832-9058
To Appear
Other MSP Journals
Henselianity in NIP $\mathbb{F}_p$-algebras

Will Johnson

Vol. 1 (2022), No. 1, 115–128
DOI: 10.2140/mt.2022.1.115

We prove an assortment of results on (commutative and unital) NIP rings, especially 𝔽p-algebras. Let R be a NIP ring. Then every prime ideal or radical ideal of R is externally definable, and every localization S1R is NIP. Suppose R is additionally an 𝔽p-algebra. Then R is a finite product of henselian local rings. Suppose in addition that R is integral. Then R is a henselian local domain, whose prime ideals are linearly ordered by inclusion. Suppose in addition that the residue field R𝔪 is infinite. Then the Artin–Schreier map R R is surjective (generalizing the theorem of Kaplan, Scanlon, and Wagner for fields).

NIP, henselian rings
Mathematical Subject Classification
Primary: 03C60
Received: 4 November 2021
Revised: 7 December 2021
Accepted: 18 December 2021
Published: 24 June 2022
Will Johnson
School of Philosophy
Fudan University