paper

On groups interpretable in various valued fields

arXiv:2206.05677

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.