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.

On Minimal Flows and Definable Amenability in Some Distal NIP Theories

On Minimal Flows of Commutative P-Adic Groups

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

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

Topological dynamics for groups definable in real closed field.

Definable Topological Dynamics for Trigonalizable Algebraic Groups over Qp

Definably Topological Dynamics of $P$-Adic Algebraic Groups

Noé Bárcenas Torres

On universal minimal proximal flows of topological groups

Generic differentiability and $P$-minimal groups

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

One-dimensional subgroups and connected components in non-abelian $p$-adic definable groups

Minimal amenable subshift with full mean topological dimension

Around definable types in $p$-adically closed fields

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

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

Maximally highly proximal flows

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

Maximal stable quotients of invariant types in NIP theories

ON NON-COMPACT P-Adic DEFINABLE GROUPS

Minimal amenable subshift with full mean dimension