DagSemProc.05021.14.pdf
- Filesize: 218 kB
- 8 pages
I shall outline an elementary and effective construction of the Henselization of a local ring (which could be implemented in some computer algebra systems) and an effective proof of several classical results about Henselian local rings.
Feedback for Dagstuhl Publishing