Diophantine Geometry over Groups IX: Envelopes and Imaginaries
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2009
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _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 |