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 of Commutative P-Adic Groups

On Minimal Flows and Definable Amenability in Some Distal NIP Theories

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

Definably Topological Dynamics of $P$-Adic Algebraic Groups

Definable Topological Dynamics for Trigonalizable Algebraic Groups over Qp

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

Topological dynamics for groups definable in real closed field.

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

On an Algebraic Formula and Applications to Group Action on Manifolds

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

Noé Bárcenas Torres

ON NON-COMPACT P-Adic DEFINABLE GROUPS

A Note on Groups Definable in the P-Adic Field

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

On universal minimal proximal flows of topological groups

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

Around definable types in $p$-adically closed fields

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

p-adic affine dynamical systems and applications

Minimal subdynamics and minimal flows without characteristic measures

Strict Ergodicity of Affine P-Adic Dynamical Systems on Z(P)