English
Related papers

Related papers: Strongly Dependent Ordered Abelian Groups and Hens…

200 papers

We obtain some new results on the topology of unary definable sets in densely ordered Abelian groups of burden groups of burden 2. In the special case in which the structure has dp-rank 2, we show that the existence of an infinite definable…

Logic · Mathematics 2022-11-21 Alfred Dolich , John Goodrick

We provide a characterization of distal ordered abelian groups: An ordered abelian group is distal if and only if, for each prime number $p$, the sizes of ribs with respect to the "valuation" $\mathfrak{s}_p$ are uniformly bounded. This…

Logic · Mathematics 2026-02-27 Koki Okura

We introduce the notion of the definable rank of an ordered field, ordered abelian group and ordered set, respectively. We study the relation between the definable rank of an ordered field and the definable rank of the value group of its…

Logic · Mathematics 2026-01-13 Lothar Sebastian Krapp , Salma Kuhlmann , Lasse Vogel

We show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definable type V topology is either real closed, algebraically closed or admits a non-trivial definable henselian valuation. We give classifications…

Logic · Mathematics 2015-07-15 Franziska Jahnke , Pierre Simon , Erik Walsberg

We prove elimination of field quantifiers for strongly dependent henselian fields in the Denef-Pas language. This is achieved by proving the result for a class of fields generalizing algebraically maximal Kaplansky fields. We deduce that if…

Logic · Mathematics 2018-11-06 Yatir Halevi , Assaf Hasson

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

We study infinite groups interpretable in power bounded $T$-convex, $V$-minimal or $p$-adically closed fields. We show that if $G$ is an interpretable definably semisimple group (i.e., has no definable infinite normal abelian subgroups)…

Logic · Mathematics 2025-08-06 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

We define a class of discrete abelian group extensions of rank-one transformations and establish necessary and sufficient conditions for these extensions to be power weakly mixing. We show that all members of this class are multiply…

We determine all finite p-groups that admit a faithful, self-similar action on the p-ary rooted tree such that the first level stabilizer is abelian. A group is in this class if and only if it is a split extension of an elementary abelian…

Group Theory · Mathematics 2011-09-06 Zoran Sunic

Consider an expansion $\mathcal R=(R,<,+,\ldots)$ of an ordered divisible Abelian group of finite burden defining no nonempty subset $X$ of $R$ which is dense and codense in a definable open subset $U$ of $R$ with $X \subseteq U$. We…

Logic · Mathematics 2025-02-27 Masato Fujita

We continue the study of $n$-dependent groups, fields and related structures, largely motivated by the conjecture that every $n$-dependent field is dependent. We provide evidence towards this conjecture by showing that every infinite…

Logic · Mathematics 2021-07-01 Artem Chernikov , Nadja Hempel

We study finite groups which possess a strongly p-embedded subgroup for some odd prime p. The main results of the paper will be applied in the ongoing project to classify the simple groups of local characteristic p.

Group Theory · Mathematics 2009-01-08 Chris Parker , Gernot Stroth

We show that an infinite group $G$ definable in a $1$-h-minimal field admits a strictly $K$-differentiable structure with respect to which $G$ is a (weak) Lie group, and show that definable local subgroups sharing the same Lie algebra have…

Logic · Mathematics 2023-03-03 Juan Pablo Acosta , Assaf Hasson

The `upper rank' of a group is the supremum of the (Pr\"{u}fer) ranks of its finite quotients, and for a prime $p$, the `upper $p$-rank' is the supremum of the sectional $p$-ranks of those quotients. The former is finite if and only if the…

Group Theory · Mathematics 2021-04-27 Dan Segal

Let K be a field not of characteristic 2 such that every finite separable extension of K is cyclic. Let A be an abelian variety over K. If K is infinite, then A(K) is Zariski-dense in A. If K is not locally finite, the rank of A over K is…

Number Theory · Mathematics 2007-05-23 Bo-Hae Im , Michael Larsen

The strong isomorphism classes of extensions of finite groups are parametrized by orbits of a prescribed action on the second cohomology group. We study these orbits in the case of extensions of a finite abelian $p$-group by a cyclic factor…

Group Theory · Mathematics 2023-09-25 Oihana Garaialde Ocaña , Mima Stanojkovski

Let K be an arbitrary field. We will determine explicitly all the nontrivial finite groups of essential dimension one over K.

Algebraic Geometry · Mathematics 2007-05-23 Huah Chu , Shou-Jen Hu , Ming-chang Kang , Jiping Zhang

We prove that unstable dp-finite fields admit definable V-topologies. As a consequence, the henselianity conjecture for dp-finite fields implies the Shelah conjecture for dp-finite fields. This gives a conceptually simpler proof of the…

Logic · Mathematics 2020-05-01 Will Johnson

Let $p$ be a prime and $G$ a pro-$p$ group of finite rank that admits a faithful, self-similar action on the $p$-ary rooted tree. We prove that if the set $\{g\in G \ | \ g^{p^n}=1\}$ is a nontrivial subgroup for some $n$, then $G$ is a…

Group Theory · Mathematics 2019-05-30 Alex Carrazedo Dantas , Emerson de Melo

Let $p$ be a prime number and suppose that every maximal subgroup of a finite group is either $p$-nilpotent or has prime index. Such group need not be $p$-solvable, and we study its structure by proving that only one nonabelian simple group…

Group Theory · Mathematics 2024-09-18 Antonio Beltrán , Changguo Shao