Henselianity in NIP F_p-algebras

DOI10.2140/MT.2022.1.115arXiv2111.02095OpenAlexW4286379353MaRDI QIDQ6156874FDOQ6156874

Authors: Will Johnson 

Publication date: 19 June 2023

Published in: Model Theory (Search for Journal in Brave)

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).

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

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

zbMATH Keywords

NIPHenselian rings

Mathematics Subject Classification ID

Model-theoretic algebra (03C60)

Cites Work

• Title not available (Why is that?)
• Groups, measures, and the NIP
• Title not available (Why is that?)
• A conjectural classification of strongly dependent fields
• Artin-Schreier extensions in NIP and simple fields
• A Guide to NIP Theories
• Henselian implies large
• Title not available (Why is that?)
• Dp-minimal integral domains
• Dp-finite fields. I(A): The infinitesimals
• Dp-finite fields. I(B): Positive characteristic

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)