On Cohesive Products of Fields
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866914478713470976 |
|---|---|
| author | Dimitrov, Rumen Harizanov, Valentina Klatt, Henry J. Srinivasan, Keshav |
| author_facet | Dimitrov, Rumen Harizanov, Valentina Klatt, Henry J. Srinivasan, Keshav |
| contents | We develop the foundations of effective ultraproducts of fields and their Galois groups using the methods of computability theory. These computability-theoretic analogs of ultraproducts are called cohesive products, since the role of an ultrafilter is played by a cohesive set. A set of natural numbers is cohesive if it is infinite and cannot be partitioned into two infinite subsets by any computably enumerable set. In particular, we investigate the way cohesive products interact with field extensions with emphasis on both finite and infinite Galois extensions, and the associated Galois groups. We study the first-order theories and definability of cohesive powers of number fields, and characterize the infinite Galois groups of cohesive powers for a large class of infinite Galois extensions. Finally, we introduce hyper-automorphisms, which are automorphisms of a cohesive power that respect non-standard field operations, and give a complete description of the hyper-automorphism groups of cohesive powers of a large class of computable Galois extensions, and use them to describe the classical infinite Galois groups of such fields. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_09965 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | On Cohesive Products of Fields Dimitrov, Rumen Harizanov, Valentina Klatt, Henry J. Srinivasan, Keshav Logic 03C57, 03C20, 03D45 We develop the foundations of effective ultraproducts of fields and their Galois groups using the methods of computability theory. These computability-theoretic analogs of ultraproducts are called cohesive products, since the role of an ultrafilter is played by a cohesive set. A set of natural numbers is cohesive if it is infinite and cannot be partitioned into two infinite subsets by any computably enumerable set. In particular, we investigate the way cohesive products interact with field extensions with emphasis on both finite and infinite Galois extensions, and the associated Galois groups. We study the first-order theories and definability of cohesive powers of number fields, and characterize the infinite Galois groups of cohesive powers for a large class of infinite Galois extensions. Finally, we introduce hyper-automorphisms, which are automorphisms of a cohesive power that respect non-standard field operations, and give a complete description of the hyper-automorphism groups of cohesive powers of a large class of computable Galois extensions, and use them to describe the classical infinite Galois groups of such fields. |
| title | On Cohesive Products of Fields |
| topic | Logic 03C57, 03C20, 03D45 |
| url | https://arxiv.org/abs/2604.09965 |