Henselianity in NIP F_p-algebras

DOI10.2140/MT.2022.1.115MaRDI QIDQ6156874zbMATH OpenOpenAlexFDO

Authors Will Johnson

Publication date 19 June 2023

Published in Model Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2111.02095

zbMATH Keywords

NIPHenselian rings

Mathematics Subject Classification ID

Model-theoretic algebra (03C60)

Abstract: We prove an assortment of results on (commutative and unital) NIP rings, especially $mathbb{F}_p$-algebras. Let $R$ be a NIP ring. Then every prime ideal or radical ideal of $R$ is externally definable, and every localization $S^{-1}R$ is NIP. Suppose $R$ is additionally an $mathbb{F}_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/mathfrakm$ is infinite. Then the Artin-Schreier map $RoR$ is surjective (generalizing the theorem of Kaplan, Scanlon, and Wagner for fields).

Recommendations

• Henselian expansions of NIP fields
• NIP Henselian valued fields
• Artin-Schreier extensions in NIP and simple fields
• Definable V-topologies, Henselianity and NIP
• Dp-finite fields. I(A): The infinitesimals

Cites work

• scientific article; zbMATH DE number 3572309 (Why is no real title available?)
• scientific article; zbMATH DE number 1970438 (Why is no real title available?)
• scientific article; zbMATH DE number 6424177 (Why is no real title available?)
• A Guide to NIP Theories
• A conjectural classification of strongly dependent fields
• Artin-Schreier extensions in NIP and simple fields
• Dp-finite fields. I(A): The infinitesimals
• Dp-finite fields. I(B): Positive characteristic
• Dp-minimal integral domains
• Groups, measures, and the NIP
• Henselian implies large

Cited in

(1)

• Dp-minimal integral domains

This page was built for publication: Henselianity in NIP \(\mathbb{F}_p\)-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6156874)