An o-minimalist view of the group configuration
Logic
2020-06-01 v2
Abstract
The group configuration in o-minimal structures gives rise, just like in the stable case, to a transitive action of a type-definable group on a partial type. Because the o-minimal proof is significantly simpler than Hrushovski's original argument. Several equivalent versions, which are more suitable to the o-minimal setting, are formulated, in functional language and also in terms of a certain -ary relation. In addition, the following question is considered: Can every definably connected type-definable group be definably embedded into a definable group of the same dimension? Two simple cases with a positive answer are given.
Keywords
Cite
@article{arxiv.1909.09994,
title = {An o-minimalist view of the group configuration},
author = {Ya'acov Peterzil},
journal= {arXiv preprint arXiv:1909.09994},
year = {2020}
}