Semisimple groups interpretable in various valued fields
arXiv:2309.02727 · doi:10.1017/fms.2025.10084
Abstract
We study infinite groups interpretable in power bounded -convex, -minimal or -adically closed fields. We show that if is an interpretable definably semisimple group (i.e., has no definable infinite normal abelian subgroups) then, up to a finite index subgroup, it is definably isogenous to a group , where is a -linear group and is a -linear group. The analysis is carried out by studying the interaction of with four distinguished sorts: the valued field , the residue field , the value group , and the closed -balls .