Coordinate recognition: General theory, Groups, and other surprises
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911007555715072 |
|---|---|
| author | Farah, I. Gannon, K. Touchard, P. |
| author_facet | Farah, I. Gannon, K. Touchard, P. |
| contents | A class of structures recognizes coordinates if any reduced product of structures from said class witnesses a certain kind of rigidity phenomena. We provide several equivalent characterizations of this property. This property has (at least) two remarkable consequences, one set-theoretic and one model-theoretic, for reduced products of structures of the said class. First, under appropriate set-theoretic assumptions every isomorphism between such reduced products associated with the Fr\' echet ideal lifts (modulo a finite change) to an isomorphism between products of the original structures. Second, with an additional mild assumption, it implies a strong quantifier elimination result. Of note, we show that a class recognizes coordinates if and only if an individual formula witnesses a certain syntactic property. We also consider many concrete classes of structures and determine whether or not they recognize coordinates. We place heavy emphasis on well known classes of groups, but we also discuss other classes of structures. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_13673 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Coordinate recognition: General theory, Groups, and other surprises Farah, I. Gannon, K. Touchard, P. Logic Group Theory 03C50, 03C20, 03E35, 03C10, 03E65, 03E75 A class of structures recognizes coordinates if any reduced product of structures from said class witnesses a certain kind of rigidity phenomena. We provide several equivalent characterizations of this property. This property has (at least) two remarkable consequences, one set-theoretic and one model-theoretic, for reduced products of structures of the said class. First, under appropriate set-theoretic assumptions every isomorphism between such reduced products associated with the Fr\' echet ideal lifts (modulo a finite change) to an isomorphism between products of the original structures. Second, with an additional mild assumption, it implies a strong quantifier elimination result. Of note, we show that a class recognizes coordinates if and only if an individual formula witnesses a certain syntactic property. We also consider many concrete classes of structures and determine whether or not they recognize coordinates. We place heavy emphasis on well known classes of groups, but we also discuss other classes of structures. |
| title | Coordinate recognition: General theory, Groups, and other surprises |
| topic | Logic Group Theory 03C50, 03C20, 03E35, 03C10, 03E65, 03E75 |
| url | https://arxiv.org/abs/2506.13673 |