Elementary Constructive Theory of Henselian Local Rings
Commutative Algebra
2025-09-01 v4
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.
Keywords
Cite
@article{arxiv.2202.06595,
title = {Elementary Constructive Theory of Henselian Local Rings},
author = {Alonso García and M. Emilia and Lombardi and Henri and Perdry and Hervé},
journal= {arXiv preprint arXiv:2202.06595},
year = {2025}
}