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 Definable F-Generic Groups and Minimal Flows in P-Adically Closed Fields

On Minimal Flows of Commutative P-Adic Groups

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

On Minimal Flows and Definable Amenability in Some Distal NIP Theories

Abelian Groups Definable in P-Adically Closed Fields

Definable Topological Dynamics for Trigonalizable Algebraic Groups over Qp

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

Around definable types in $p$-adically closed fields

Definably Topological Dynamics of $P$-Adic Algebraic Groups

Topological dynamics for groups definable in real closed field.

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

On groups and fields definable in 1-h-minimal fields

A Note on Groups Definable in the P-Adic Field

Generic differentiability and $P$-minimal groups

On Groups And Fields Definable In -H-Minimal Fields

On universal minimal proximal flows of topological groups

On definable groups and D -groups in certain fields with a generic derivation

ON NON-COMPACT P-Adic DEFINABLE GROUPS

Definably semisimple groups interpretable in $p$-adically closed fields

Maximally highly proximal flows

The non-coexistence of distality and expansivity for group actions on infinite compacta