ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS

DOI10.1017/JSL.2023.37MaRDI QIDQ6180598zbMATH OpenFDO

Publication date 22 December 2023

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1911.01833

$p$-adically closed fields definable $f$-generic definable groups

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Dynamical systems involving transformations and group actions with special properties (minimality, distality, proximality, expansivity, etc.) (37B05)

Abstract: The aim of this paper is to develop the theory of groups definable in the

p

-adic field

{m a t h b b Q}_{p}

, with ``definable

f

-generics" in the sense of an ambient saturated elementary extension of

{m a t h b b 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 ${m a t h b b Q}_{p}$ , and the small model will be ${m a t h b b 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 ${m a t h b b Q}_{p}$ in an ambient saturated elementary extension $m a t h b b K$ of ${m a t h b b Q}_{p}$ , so as to make sense of the notions of $f$ -generic etc. In this paper we will show that every definable $f$ -generic group definable in ${m a t h b b Q}_{p}$ is virtually isomorphic to a finite index subgroup of a trigonalizable algebraic group over ${m a t h b b Q}_{p}$ . This is analogous to the $o$ -minimal context, where every connected torsion free group definable in $m a t h b b R$ is isomorphic to a trigonalizable algebraic group (Lemma 3.4, cite{COS}). 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 cite{P-Y} of whether $f$ -generic types coincide with almost periodic types in the $p$ -adic case.

Cites work

Cited in

(3)

This page was built for publication: ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6180598)