Elementary Constructive Theory of Henselian Local Rings
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915468733841408 |
|---|---|
| author | García, Alonso Emilia, M. Lombardi Henri Perdry Hervé |
| author_facet | García, Alonso Emilia, M. Lombardi Henri Perdry Hervé |
| contents | We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2202_06595 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Elementary Constructive Theory of Henselian Local Rings García, Alonso Emilia, M. Lombardi Henri Perdry Hervé Commutative Algebra 3J15, 03F55 We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content. |
| title | Elementary Constructive Theory of Henselian Local Rings |
| topic | Commutative Algebra 3J15, 03F55 |
| url | https://arxiv.org/abs/2202.06595 |