Diophantine Geometry over Groups IX: Envelopes and Imaginaries
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2009
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866909383758184448 |
|---|---|
| author | Sela, Zlil |
| author_facet | Sela, Zlil |
| contents | This paper is the ninth in a sequence on the structure of sets of solutions to systems of equations in free and hyperbolic groups, projections of such sets (Diophantine sets), and the structure of definable sets over free and hyperbolic groups. In the ninth paper we associate a Diophantine set with a definable set, and view it as the Diophantine envelope of the definable set. We use the envelope and duo limit groups that were used in proving stability of the theory of free and torsion-free hyperbolic groups [Se9], to study definable equivalence relations, and in particular, to classify imaginaries over these groups. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_0909_0774 |
| institution | arXiv |
| publishDate | 2009 |
| record_format | arxiv |
| spellingShingle | Diophantine Geometry over Groups IX: Envelopes and Imaginaries Sela, Zlil Group Theory Logic This paper is the ninth in a sequence on the structure of sets of solutions to systems of equations in free and hyperbolic groups, projections of such sets (Diophantine sets), and the structure of definable sets over free and hyperbolic groups. In the ninth paper we associate a Diophantine set with a definable set, and view it as the Diophantine envelope of the definable set. We use the envelope and duo limit groups that were used in proving stability of the theory of free and torsion-free hyperbolic groups [Se9], to study definable equivalence relations, and in particular, to classify imaginaries over these groups. |
| title | Diophantine Geometry over Groups IX: Envelopes and Imaginaries |
| topic | Group Theory Logic |
| url | https://arxiv.org/abs/0909.0774 |