English
Related papers

Related papers: Abelian groups definable in $p$-adically closed fi…

200 papers

We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is…

Logic · Mathematics 2008-11-04 Ehud Hrushovski , Ya'acov Peterzil , Anand Pillay

Adapting a proof of Bouscaren and Delon, we show that every type-definable connected group in a given stable theory of fields embeds into an algebraic group, under a condition on the definable closure. We also present general hypotheses…

Logic · Mathematics 2025-10-29 Charlotte Bartnick

This paper targets to generalize the notion of Hopfian groups in the commutative case by defining the so-called {\bf relatively Hopfian groups} and {\bf weakly Hopfian groups}, and establishing some their crucial properties and…

Group Theory · Mathematics 2024-08-09 Andrey R. Chekhlov , Peter V. Danchev , Brendan Goldsmith , Patrick W. Keef

Let $\mathcal{C}$ be a class of finite groups closed for subgroups, quotients groups and extensions. Let $\Gamma$ be a finite simplicial graph and $G = G_{\Gamma}$ be the corresponding pro-$\mathcal C$ RAAG. We show that if $N$ is a…

Group Theory · Mathematics 2023-05-08 Dessislava Kochloukova , Pavel Zalesskii

We give a complete list of the one-dimensional groups definable in algebraically closed valued fields and i the pseudo-local fields, up to a finite index subgroup and a quotient by a finite subgroup.

Logic · Mathematics 2025-03-04 Juan Pablo Acosta , Martin Hils

We introduce a class of theories called metastable, including the theory of algebraically closed valued fields (ACVF) as a motivating example. The key local notion is that of definable types dominated by their stable part. A theory is…

Logic · Mathematics 2024-07-03 Ehud Hrushovski , Silvain Rideau-Kikuchi

Many open conjectures in the representation theory of finite groups can be studied by reducing them to related questions about quasi-simple groups. In such studies, $p$-radical subgroups typically play a critical role. To classify the…

Group Theory · Mathematics 2026-01-06 Meizheng Fu

In this paper, we prove a series of results on group embeddings in groups with a small number of generators. We show that each finitely generated group $G$ lying in a variety ${\mathcal M}$ can be embedded in a $4$-generated group $H \in…

Group Theory · Mathematics 2020-09-22 Vitaly Roman'kov

A first order expansion of $(\mathbb{R},+,<)$ is dp-minimal if and only if it is o-minimal. We prove analogous results for algebraic closures of finite fields, $p$-adic fields, ordered abelian groups with only finitely many convex subgroups…

Logic · Mathematics 2026-02-11 Pierre Simon , Erik Walsberg

Let $G$ be a finite group and assume $p$ is a prime dividing the order of $G$. Suppose for any such $p$, that every two abelian $p$-subgroups of $G$ of equal order are conjugate. The structure of such a group $G$ has been settled in this…

Group Theory · Mathematics 2021-10-05 Robert W. van der Waall

For an Abelian group $G$, any homomorphism $\mu\colon G\otimes G\rightarrow G$ is called a \textsf{multiplication} on $G$. The set $\text{Mult}\,G$ of all multiplications on an Abelian group $G$ itself is an Abelian group with respect to…

Group Theory · Mathematics 2022-05-24 Ekaterina Kompantseva , Askar Tuganbaev

The goal of this article is to study results and examples concerning finitely presented covers of finitely generated amenable groups. We collect examples of groups $G$ with the following properties: (i) $G$ is finitely generated, (ii) $G$…

Group Theory · Mathematics 2013-05-06 Mustafa Gokhan Benli , Rostislav Grigorchuk , Pierre De La Harpe

In \cite{Pillay} and more formally in \cite{Onshuus-Pillay} it was asked whether open subgroups of $p$-adic algebraic groups are ($p$-adic) semialgebraic, equivalently, definable in the structure $(\mathbb Q_{p}, +, \times)$. We give a…

Group Theory · Mathematics 2023-05-01 Anand Pillay , Ningyuan Yao

A group G is a vGBS group if it admits a decomposition as a finite graph of groups with all edge and vertex groups finitely generated and free abelian. We construct the JSJ decomposition of a vGBS group over abelian groups. We prove that…

Group Theory · Mathematics 2010-12-07 Benjamin Beeker

We show that every fsg group externally definable in an NIP structure is definably isomorphic to a group interpretable in it. Our proof relies on honest definitions and a group chunk result reconstructing a hyper-definable group from its…

Logic · Mathematics 2025-07-01 Artem Chernikov

Let $ M_0 $ denote either the field structure $ \mathbb{Q}_p $ of $ p $-adic numbers, or an $o$-minimal expansion of the field structure $ \mathbb{R} $ of real numbers. We investigate the minimal flows and Ellis groups of definable groups…

Logic · Mathematics 2026-02-03 Ningyuan Yao , Zhentao Zhang

We study definable sets, groups, and fields in the theory $T_\infty$ of infinite-dimensional vector spaces over an algebraically closed field equipped with a nondegenerate symmetric (or alternating) bilinear form. First, we define an…

Logic · Mathematics 2023-11-14 Jan Dobrowolski

$\aleph_1$-free groups, abelian groups for which every countable subgroup is free, exhibit a number of interesting algebraic and set-theoretic properties. In this paper, we give a complete proof that the property of being $\aleph_1$-free is…

Group Theory · Mathematics 2021-04-22 Daniel Herden , Alexandra V. Pasi

We study dp-minimal infinite profinite groups that are equipped with a uniformly definable fundamental system of open subgroups. We show that these groups have an open subgroup $A$ such that either $A$ is a direct product of countably many…

Logic · Mathematics 2020-08-21 Tim Clausen

We prove that non-abelian definable, definably simple groups in 1-h-minimal henselian valued fields are essentially already linear algebraic groups. Here, the group is assumed to live in the home sort. We have a similar result in pure…

Logic · Mathematics 2026-01-14 Jakub Gismatullin , Immanuel Halupczok , Dugald Macpherson