Elementary Constructive Theory of Henselian Local Rings
Alonso Garc\'ia, M. Emilia, Lombardi, Henri, Perdry, Herv\'e
TL;DR
This paper develops an elementary, algorithmically meaningful theory of Henselian local rings and provides a method to construct their Henselization, contributing to the foundational understanding of these algebraic structures.
Contribution
It introduces an elementary, constructive approach to Henselian local rings and details an algorithmic process for their Henselization, advancing computational algebra.
Findings
Provides an elementary theory of Henselian local rings.
Constructs the Henselization of a local ring algorithmically.
All theorems have an explicit algorithmic interpretation.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.