On groups interpretable in various valued fields
The authors continue their work from [\textit{Y. Halevi} et al., Adv. Math. 404, Part A, Article ID 108408, 58 p. (2022; Zbl 1505.03084)], where they studied fields interpretable in valued fields, and extend their investigation to interpretable groups. They analyze groups interpretable in the following three important families of valued fields:\N\begin{itemize}\N\item[1.] \(V\)-minimal (certain expansions of algebraically closed valued fields of residue characteristic 0),\N\item[2.] power bounded \(T\)-convex (certain expansions of real closed valued fields),\N\item[3.] \(p\)-adically closed fields (elementarily equivalent to finite extensions of \(\mathbb{Q}_p\)).\N\end{itemize}\NIt is shown (Theorem 1.1) that any such infinite group \(G\) is (up to the quotient by a finite normal subgroup) definably isomorphic to a group in one of four distinguished sorts: the underlying valued field, its residue field, its value group or its quotient by the value ring. This is an impressive reduction comparing to the usual ``geometric sorts for which the elimination of imaginaries is known.\N\NAs a corollary, it is shown (Theorem 1.3) that \(G\) has unbounded exponent and if \(G\) is dp-minimal then it is abelian-by-finite. Theorem 1.3 implies, in particular, that every 1-dimensional group definable in any of the above structures is abelian-by-finite generalizing results by \textit{A. Pillay} and \textit{N. Yao} [Arch. Math. Logic 58, No. 7--8, 1029--1034 (2019; Zbl 1468.03047)], and \textit{A. Onshuus} and \textit{M. Vicaría} [Ann. Pure Appl. Logic 171, No. 6, Article ID 102795, 27 p. (2020; Zbl 1481.03025), Theorem 1.1].
- T-convexity and tame extensions II
- p-adic and real subanalytic sets
- A note on groups definable in the \(p\)-adic field
- Algebraic theories with definable Skolem functions
- An example of a 𝐶-minimal group which is not abelian-by-finite
- Definable equivalence relations and zeta functions of groups. With an appendix by Raf Cluckers
- Definable groups in models of Presburger arithmetic
- Definable sets in algebraically closed valued fields: elimination of imaginaries
- dp-minimality: invariant types and dp-rank
- Euler characteristic in semialgebraic and other o-minimal groups
- Exponential-constructible functions in \(P\)-minimal structures
- Groups definable in local fields and pseudo-finite fields
- Hensel minimality I
- Hensel minimality II: Mixed characteristic and a diophantine application
- scientific article; zbMATH DE number 1160037 (Why is no real title available?)
- scientific article; zbMATH DE number 3232606 (Why is no real title available?)
- Imaginaries in real closed valued fields
- Integration in valued fields
- Interpretable fields in various valued fields
- MM. Borel, Tits, Zil′ber et le Général Nonsense
- On dp-minimal ordered structures
- On fields definable in \(Q_ p\)
- On groups and fields definable in o-minimal structures
- On non-compact p-adic definable groups
- ONE DIMENSIONAL GROUPS DEFINABLE IN THE p-ADIC NUMBERS
- One-Dimensional p -Adic Subanalytic Sets
- Presburger sets and p-minimal fields
- Quantifier elimination in ordered abelian groups
- Stability in geometric theories
- Stabilizers, \(\mathbf{NTP}_2\) groups with f-generics, and PRC fields
- Stable groups. Transl. from the French by Moses Gabriel Klein
- Tame topology over dp-minimal structures
- The canonical topology on dp-minimal fields
- Topological groups, \(\mu\)-types and their stabilizers
- Topologizing interpretable groups in p-adically closed fields
- Type-definable and invariant groups in o-minimal structures
- Valued fields, metastable groups
- Weil's group chunk theorem: A topological setting
This page was built for publication: On groups interpretable in various valued fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6565769)
