Anneaux à diviseurs et anneaux de Krull (une approche constructive)
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2015
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866929196891111424 |
|---|---|
| author | Coquand, Thierry Lombardi, Henri |
| author_facet | Coquand, Thierry Lombardi, Henri |
| contents | We give give an elementary and constructive version of the theory of "Prüfer v-Multiplication Domains" (which we call "anneaux à diviseurs" in the paper) and Krull Domains. The main results of these theories are revisited from a constructive point of view, following the Bishop style, and without assuming properties of complete factorizations. Nous présentons dans cet article une approche constructive, dans le style de Bishop, de la théorie des diviseurs et des anneaux de Krull. Nous accordons une place centrale aux "anneaux à diviseurs," appelés PvMD dans la littérature anglaise. Les résultats classiques sont obtenus comme résultats d'algorithmes explicites sans faire appel aux hypothèses de factorisation complète. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1507_02880 |
| institution | arXiv |
| publishDate | 2015 |
| record_format | arxiv |
| spellingShingle | Anneaux à diviseurs et anneaux de Krull (une approche constructive) Coquand, Thierry Lombardi, Henri Commutative Algebra 13F05, 14C20, 06F15, 03F65 We give give an elementary and constructive version of the theory of "Prüfer v-Multiplication Domains" (which we call "anneaux à diviseurs" in the paper) and Krull Domains. The main results of these theories are revisited from a constructive point of view, following the Bishop style, and without assuming properties of complete factorizations. Nous présentons dans cet article une approche constructive, dans le style de Bishop, de la théorie des diviseurs et des anneaux de Krull. Nous accordons une place centrale aux "anneaux à diviseurs," appelés PvMD dans la littérature anglaise. Les résultats classiques sont obtenus comme résultats d'algorithmes explicites sans faire appel aux hypothèses de factorisation complète. |
| title | Anneaux à diviseurs et anneaux de Krull (une approche constructive) |
| topic | Commutative Algebra 13F05, 14C20, 06F15, 03F65 |
| url | https://arxiv.org/abs/1507.02880 |