We generalize two of our previous results on abelian definable groups in p-adically closed fields [12, 13] to the non-abelian case. First, we show that if G is a definable group that is not definably compact, then G has a one-dimensional definable subgroup which is not definably compact. This is a p-adic analogue of the Peterzil–Steinhorn theorem for o-minimal theories [16]. Second, we show that if G is a group definable over the standard model $\mathbb {Q}_p$, then $G^0 = G^{00}$. (...) As an application, definably amenable groups over $\mathbb {Q}_p$ are open subgroups of algebraic groups, up to finite factors. We also prove that $G^0 = G^{00}$ when G is a definable subgroup of a linear algebraic group, over any model. (shrink)

In [16], Peterzil and Steinhorn proved that if a group G definable in an o-minimal structure is not definably compact, then G contains a definable torsion-free subgroup of dimension 1. We prove here a p-adic analogue of the Peterzil–Steinhorn theorem, in the special case of abelian groups. Let G be an abelian group definable in a p-adically closed field M. If G is not definably compact then there is a definable subgroup H of dimension 1 which is not definably compact. (...) In a future paper we will generalize this to non-abelian G. (shrink)

We consider interpretable topological spaces and topological groups in a p-adically closed field K. We identify a special class of “admissible topologies” with topological tameness properties like generic continuity, similar to the topology on definable subsets of Kn. We show that every interpretable set has at least one admissible topology, and that every interpretable group has a unique admissible group topology. We then consider definable compactness (in the sense of Fornasiero) on interpretable groups. We show that an interpretable group is (...) definably compact if and only if it has finitely satisfiable generics (fsg), generalizing an earlier result on definable groups. As a consequence, we see that fsg is a definable property in definable families of interpretable groups, and that any fsg interpretable group defined over Qp is definably isomorphic to a definable group. (shrink)

Let G be a definable group in a p-adically closed field M. We show that G has finitely satisfiable generics ( fsg $\text{fsg}$ ) if and only if G is definably compact. The case M = Q p $M = \mathbb {Q}_p$ was previously proved by Onshuus and Pillay.

It is known Hrushovski and Pillay that a group G definable in the field \ of p-adic numbers is definably locally isomorphic to the group \\) of p-adic points of a algebraic group H over \. We observe here that if H is commutative then G is commutative-by-finite. This shows in particular that any one-dimensional group G definable in \ is commutative-by-finite. This result extends to groups definable in p-adically closed fields. We prove our results in the more general context (...) of geometric structures. (shrink)

We study the flow of trigonalizable algebraic group acting on its type space, focusing on the problem raised in [17] of whether weakly generic types coincide with almost periodic types if the group has global definable f‐generic types, equivalently whether the union of minimal subflows of a suitable type space is closed. We shall give a description of f‐generic types of trigonalizable algebraic groups, and prove that every f‐generic type is almost periodic.