Abstract:The aim of this paper is to develop the theory of groups definable in the p-adic field Q(p), with "definable f-generics" in the sense of an ambient saturated elementary extension of Q(p). We call such groups definable f-generic groups.So, by a "definable f-generic" or dfg group we mean a definable group in a saturated model with a global f-generic type which is definable over a small model. In the present context the group is definable over Q(p), and the small model will be Q(p) itself. The notion of a dfg group is dual, or rather opposite to that of an fsg group (group with "finitely satisfiable generics") and is a useful tool to describe the analogue of torsion-free o-minimal groups in the p-adic context. In the current paper our group will be definable over Q(p) in an ambient saturated elementary extension K of Q(p), so as to make sense of the notions of f-generic type, etc. In this paper we will show that every definable f-generic group definable in Q(p) is virtually isomorphic to a finite index subgroup of a trigonalizable algebraic group over Q(p). This is analogous to the o-minimal context, where every connected torsion-free group definable in R is isomorphic to a trigonalizable algebraic group [5, Lemma 3.4]. We will also show that every open definable f-generic subgroup of a definable f-generic group has finite index, and every f-generic type of a definable f-generic group is almost periodic, which gives a positive answer to the problem raised in [28] of whether f-generic types coincide with almost periodic types in the p-adic case.

Definable Topological Dynamics for Trigonalizable Algebraic Groups over Qp

On Minimal Flows of Commutative P-Adic Groups

Definably Topological Dynamics of $P$-Adic Algebraic Groups

Topological dynamics for groups definable in real closed field.

On Minimal Flows and Definable Amenability in Some Distal NIP Theories

On Definable F-Generic Groups and Minimal Flows in P-Adically Closed Fields

On Groups with Definable F-Generics Definable in P-Adically Closed Fields

Some Model Theory and Topological Dynamics of $P$-Adic Algebraic Groups

On an Algebraic Formula and Applications to Group Action on Manifolds

On finite generalized quadrangles with $\mathrm{PSL}(2,q)$ as an automorphism group

Around definable types in $p$-adically closed fields

Global Topology of Hyperbolic Components: Cantor Circle Case

Quiver Topology and RG Dynamics

Sparse graphs and the fixed points on type spaces property

Ping-pong partitions and locally discrete groups of real-analytic circle diffeomorphisms, I: Construction

On Topologically Big Divergent Trajectories

Ping-pong partitions and locally discrete groups of real-analytic circle diffeomorphisms, II: Applications

Properly discontinuous actions, Growth indicators and Conformal measures for transverse subgroups

Abelian Groups Definable in P-Adically Closed Fields

Almost strong mixing group actions in topological dynamics

On Minimal Flows. Definably Amenable Groups, and O-Minimality