The Regular Element Property in Constructive Mathematics
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866910310068125696 |
|---|---|
| author | Coquand, Thierry |
| author_facet | Coquand, Thierry |
| contents | The goal of this note is to present Kaplansky's proof of the Regular Element Property and to explain how this argument can be adapted to the case of a coherent, strongly discrete and Noetherian (with an inductive definition of Noetherian) rings in a constructive setting. We thus get, in this setting, an algorithm which given a f.g. regular ideal, build a regular element in this ideal. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_15671 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | The Regular Element Property in Constructive Mathematics Coquand, Thierry Commutative Algebra Logic The goal of this note is to present Kaplansky's proof of the Regular Element Property and to explain how this argument can be adapted to the case of a coherent, strongly discrete and Noetherian (with an inductive definition of Noetherian) rings in a constructive setting. We thus get, in this setting, an algorithm which given a f.g. regular ideal, build a regular element in this ideal. |
| title | The Regular Element Property in Constructive Mathematics |
| topic | Commutative Algebra Logic |
| url | https://arxiv.org/abs/2401.15671 |