On groups interpretable in various valued fields
Logic
2024-04-09 v4 Group Theory
Abstract
We study infinite groups interpretable in three families of valued fields: -minimal, power bounded -convex, and -adically closed fields. We show that every such group has unbounded exponent and that if is dp-minimal then it is abelian-by-finite. Along the way, we associate with any infinite interpretable group an infinite type-definable subgroup which is definably isomorphic to a group in one of four distinguished sorts: the underlying valued field , its residue field (when infinite), its value group , or , where is the valuation ring. Our work uses and extends techniques developed in [11] to circumvent elimination of imaginaries.
Cite
@article{arxiv.2206.05677,
title = {On groups interpretable in various valued fields},
author = {Yatir Halevi and Assaf Hasson and Ya'acov Peterzil},
journal= {arXiv preprint arXiv:2206.05677},
year = {2024}
}