Dynamic computations inside the algebraic closure of a valued field
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2022
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908008919859200 |
|---|---|
| author | Kuhlmann, Franz-Viktor Lombardi, Henri Perdry, Hervé |
| author_facet | Kuhlmann, Franz-Viktor Lombardi, Henri Perdry, Hervé |
| contents | We explain how to compute in the algebraic closure of a valued field. These computations heavily rely on the \NPAz. They are made in the same spirit as the dynamic algebraic closure of a field. They give a concrete content to the theorem saying that a valued field does have an algebraically closed valued extension. The algorithms created for that purpose can be used to perform an effective quantifier elimination for algebraically closed valued fields, which relies on a very natural geometric idea. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2202_05512 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Dynamic computations inside the algebraic closure of a valued field Kuhlmann, Franz-Viktor Lombardi, Henri Perdry, Hervé Commutative Algebra 12J10, 12J20, 12Y05, 03C10, 13P05, 68W30 We explain how to compute in the algebraic closure of a valued field. These computations heavily rely on the \NPAz. They are made in the same spirit as the dynamic algebraic closure of a field. They give a concrete content to the theorem saying that a valued field does have an algebraically closed valued extension. The algorithms created for that purpose can be used to perform an effective quantifier elimination for algebraically closed valued fields, which relies on a very natural geometric idea. |
| title | Dynamic computations inside the algebraic closure of a valued field |
| topic | Commutative Algebra 12J10, 12J20, 12Y05, 03C10, 13P05, 68W30 |
| url | https://arxiv.org/abs/2202.05512 |