The Isomorphism Problem for Oligomorphic Groups with Weak Elimination of Imaginaries
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866909162357653504 |
|---|---|
| author | Paolini, Gianluca |
| author_facet | Paolini, Gianluca |
| contents | In [21] it was asked if equality on the reals is sharp as a lower bound for the complexity of topological isomorphism between oligomorphic groups. We prove that under the assumption of weak elimination of imaginaries this is indeed the case. Our methods are model theoretic and they also have applications on the classical problem of reconstruction of isomorphisms of permutation groups from (topological) isomorphisms of automorphisms groups. As a concrete application, we give an explicit description of $\mathrm{Aut}(\mathrm{GL}(V))$ for any vector space $V$ of dimension $\aleph_0$ over a finite field, in affinity with the classical description for finite dimensional spaces due to Schreier and van der Waerden. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_04529 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | The Isomorphism Problem for Oligomorphic Groups with Weak Elimination of Imaginaries Paolini, Gianluca Logic 03E15, 20B27, 22A05, 20F28 In [21] it was asked if equality on the reals is sharp as a lower bound for the complexity of topological isomorphism between oligomorphic groups. We prove that under the assumption of weak elimination of imaginaries this is indeed the case. Our methods are model theoretic and they also have applications on the classical problem of reconstruction of isomorphisms of permutation groups from (topological) isomorphisms of automorphisms groups. As a concrete application, we give an explicit description of $\mathrm{Aut}(\mathrm{GL}(V))$ for any vector space $V$ of dimension $\aleph_0$ over a finite field, in affinity with the classical description for finite dimensional spaces due to Schreier and van der Waerden. |
| title | The Isomorphism Problem for Oligomorphic Groups with Weak Elimination of Imaginaries |
| topic | Logic 03E15, 20B27, 22A05, 20F28 |
| url | https://arxiv.org/abs/2404.04529 |