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.

One-dimensional F-definable sets in F((t))

Undecidability of infinite algebraic extensions of $\mathbb{F}_p(t)$

First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability

Approximation by $O$-minimal sets in power-bounded $T$-convex valued fields

Undecidability of expansions of Laurent series fields by cyclic discrete subgroups

Universally defining subrings in function fields

Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$

Around definable types in $p$-adically closed fields

Definability and decidability for rings of integers in totally imaginary fields

Uniform existential definitions of valuations in function fields in one variable

Definable maximal discrete sets in forcing extensions

First-order definability of Darmon points in number fields

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

Definable quotients in d-minimal structures

Beyond the Fontaine-Wintenberger theorem

On the definability of mad families of vector spaces

Definable henselian valuations in positive residue characteristic

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

Abelian Groups Definable in P-Adically Closed Fields

A de Branges-Beurling theorem for the full Fock space

Definable henselian valuations on dp-minimal real fields