Elementary Constructive Theory of Henselian Local Rings

2022/02/14 by García, Alonso, Emilia, M., Lombardi +3
#03F55 #3J15 #Commutative Algebra (math.AC) #FOS: Mathematics

paper · doi:10.48550/arxiv.2202.06595

Abstract

We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content.

Related

• Henselian Local Rings: Around a Work in Progress
• Henselian schemes in positive characteristic
• Henselian Elements
• Valuations and henselization
• GAGA for Henselian schemes