English
Related papers

Related papers: Dp-minimal expansions of discrete ordered abelian …

200 papers

We prove that for an o-minimal expansion of the real additive group $\cal R$ and a set $P\subseteq \mathbb{R}$ of dimension $0$ such that $\langle\mathcal{R},P\rangle$ is sparse, has definable choice and every definable set has interior or…

Logic · Mathematics 2020-05-04 Alex Savatovsky

In this paper we study elimination of imaginaries in some classes of pure ordered abelian groups. For the class of ordered abelian groups with bounded regular rank (equivalently with finite spines) we obtain weak elimination of imaginaries…

Logic · Mathematics 2022-05-10 Mariana Vicaria

We analyze definably compact groups in o-minimal expansions of ordered groups as a combination of semi-linear groups and groups definable in o-minimal expansions of real closed fields. The analysis involves structure theorems about their…

Logic · Mathematics 2012-02-28 Pantelis Eleftheriou , Ya'acov Peterzil

In this paper, we deal with locally graded groups whose subgroups are either subnormal or soluble of bounded derived length, say d. In particular, we prove that every locally (soluble-by-finite) group with this property is either soluble or…

Group Theory · Mathematics 2015-04-02 Kivanc Ersoy , Antonio Tortora , Maria Tota

For an abelian topological group G let G^* denote the dual group of all continuous characters endowed with the compact open topology. Given a closed subset X of an infinite compact abelian group G such that w(X) < w(G) and an open…

General Topology · Mathematics 2009-11-21 Dikran Dikranjan , Dmitri Shakhmatov

We explore "semibounded" expansions of arbitrary ordered groups; namely, expansions that do not define a field on the whole universe. We show that if $\mathcal R=\langle R, <, +, \dots\rangle$ is a semibounded o-minimal structure and…

Logic · Mathematics 2021-06-24 Pantelis E. Eleftheriou , Alex Savatovsky

We show that any slightly degenerate weakly group-theoretical fusion category admits a minimal non-degenerate extension. Let $d$ be a positive square-free integer, given a weakly group-theoretical non-degenerate fusion category…

Quantum Algebra · Mathematics 2023-03-09 Victor Ostrik , Zhiqiang Yu

We prove that any left-ordered inp-minimal group is abelian, and we provide an example of a non-abelian left-ordered group of dp-rank 2.

Logic · Mathematics 2023-11-14 Jan Dobrowolski , John Goodrick

In this paper, we show that VC-minimal ordered fields are real closed. We introduce a notion, strictly between convexly orderable and dp-minimal, that we call dp-small, and show that this is enough to characterize many algebraic theories.…

Logic · Mathematics 2013-07-31 Vincent Guingona

In this article we introduce the notion of cubical $(\omega,p)$-categories, for $p \in \mathbb N \cup \{\omega\}$. We show that the equivalence between globular and groupoid $\omega$-categories proven by Al-Agl, Brown and Steiner induces an…

Category Theory · Mathematics 2017-12-21 Maxime Lucas

Given a subset $W$ of an abelian group $G$, a subset $C$ is called an additive complement for $W$ if $W+C=G$; if, moreover, no proper subset of $C$ has this property, then we say that $C$ is a minimal complement for $W$. It is natural to…

Combinatorics · Mathematics 2021-01-01 Noga Alon , Noah Kravitz , Matt Larson

Let $G$ be a $p$-group for some prime $p$. Let $n$ be the positive integer so that $|G:Z(G)| = p^n$. Suppose $A$ is a maximal abelian subgroup of $G$. Let $$p^l = {\rm max} \{|Z(C_G (g)):Z(G)| : g \in G \setminus Z(G)\},$$ $$p^b = {\rm max}…

Group Theory · Mathematics 2024-02-20 Mark L. Lewis

We prove in particular that, in a large class of dp-minimal theories including the p-adics, definable types are dense amongst non-forking types.

Logic · Mathematics 2014-07-02 Pierre Simon , Sergei Starchenko

We propose new structures called almost o-minimal structures and $\mathfrak X$-structures. The former is a first-order expansion of a dense linear order without endpoints such that the intersection of a definable set with a bounded open…

Logic · Mathematics 2022-06-08 Masato Fujita

We notice that the class of nontrivial groups without proper subgroups of finite index is not elementary, because some groups in this class, such as $\mathbb Q*\mathbb Q$, have ultrapowers that map homomorphically onto $\mathbb Z/p\mathbb…

Group Theory · Mathematics 2010-03-23 Jakub Gismatullin , Alexey Muranov

We study infinite groups interpretable in three families of valued fields: $V$-minimal, power bounded $T$-convex, and $p$-adically closed fields. We show that every such group $G$ has unbounded exponent and that if $G$ is dp-minimal then it…

Logic · Mathematics 2024-04-09 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

We introduce the notion of \pi-extension of the semigroup \mathbb{Z}_+ and study the extensions of the Toeplitz algebras by isometric operators. We show that when the action of the Toeplitz algebra is irreducible all such extensions…

Operator Algebras · Mathematics 2013-02-05 T. A. Grigoryan , E. V. Lipacheva , V. H. Tepoyan

We show that any abelian variety that is not affine has a nontrivial strongly abelian subvariety. In later papers in this sequence we apply this result to the study of minimal abelian varieties.

Logic · Mathematics 2020-08-21 Keith A. Kearnes , Emil W. Kiss , Agnes Szendrei

We continue our local analysis of groups interpretable in various dp-minimal valued fields, as introduced in [8]. We associate with every infinite group $G$ interpretable in those fields an infinite type-definable infinitesimal subgroup…

Logic · Mathematics 2025-02-13 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

Definable topological groups whose topologies are affine have definable $\mathcal C^r$ structures in d-minimal expansions of ordered fields, where $r$ is a positive integer. We prove this fact using a new notion called partition degree of a…

Logic · Mathematics 2024-07-24 Masato Fujita