English
Related papers

Related papers: Stabilizers, groups with f-generics in NTP2 and PR…

200 papers

We establish several results regarding dividing and forking in NTP2 theories. We show that dividing is the same as array-dividing. Combining it with existence of strictly invariant sequences we deduce that forking satisfies the chain…

Logic · Mathematics 2013-08-14 Itaï Ben Yaacov , Artem Chernikov

For a NIP theory $T$, a sufficiently saturated model $\mathfrak{C}$ of $T$, and an invariant (over some small subset of $\mathfrak{C}$) global type $p$, we prove that there exists a finest relatively type-definable over a small set of…

Logic · Mathematics 2025-07-16 Krzysztof Krupiński , Adrián Portillo

We study definably amenable groups in NIP theories, and answer a question of Newelski (and also of Chernikov-Simon), by giving an example in the o-minimal context where weak generic types do not coincide with almost periodic types,…

Logic · Mathematics 2015-04-06 Anand Pillay , Ningyuan Yao

We prove a general homological stability theorem for certain families of groups equipped with product maps, followed by two theorems of a new kind that give information about the last two homology groups outside the stable range. (These…

Algebraic Topology · Mathematics 2020-07-13 Richard Hepworth

We start an analysis of geometric properties of a structure relative to a reduct. In particular, we look at definability of groups and fields in this context. In the relatively one-based case, every definable group is isogenous to a…

Logic · Mathematics 2013-05-22 Thomas Blossier , Amador Martin Pizarro , Frank Olaf Wagner

E. Hrushovski proved that the theory of difference-differential fields of characteristic zero has a model-companion. We denote it DCFA. In this paper we study definable groups in a model of DCFA. First we prove that such a group is embeds…

Logic · Mathematics 2019-04-29 Ronald F. Bustamante Medina

This article began as a study of the structure of infinite permutation groups G in which point stabilisers are finite and all infinite normal subgroups are transitive. That led to two variations. One is the generalisation in which point…

Group Theory · Mathematics 2015-12-16 Peter M. Neumann , Cheryl E. Praeger , Simon M. Smith

In this paper, we consider linear combination of determinant and permanent, which we call generalized determinant, and determine the stabilizer group of it.

Rings and Algebras · Mathematics 2017-01-27 Ryo Yamamoto

We investigate the class of FHP theories, i.e. theories of structures in which all definable families of sets satisfy the Fractional Helly Property (and its variants) from combinatorics. FHP theories generalize NIP and form a new subclass…

Logic · Mathematics 2026-05-19 Artem Chernikov , Chuyin Jiang

We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of…

Logic · Mathematics 2012-02-14 Artem Chernikov , Pierre Simon

We give a description of definable sets $P=(p_1,..., p_m)$ in a free non-abelian group $F$ and in a torsion-free non-elementary hyperbolic group $G$ that follows from our work on the Tarski problems. This answers Malcev's question for $F$.…

Group Theory · Mathematics 2013-05-07 Olga Kharlampovich , Alexei Myasnikov

This paper is about the $dfg$/$fsg$ decomposition for groups $G$ definable in $p$-adically closed fields. It is proved that for $G$ definably amenable, $G$ has a definable normal $dfg$ subgroup $H$ such that the quotient $G/H$ is a…

Logic · Mathematics 2026-01-29 Anand Pillay , Ningyuan Yao , Zhentao Zhang

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 $K$ be a field and $f:\mathbb{P}^N \to \mathbb{P}^N$ a morphism. There is a natural conjugation action on the space of such morphisms by elements of the projective linear group $\text{PGL}_{N+1}$. The group of automorphisms, or…

Number Theory · Mathematics 2016-04-12 Joao Alberto de Faria , Benjamin Hutz

An overview is given of the various expansions of fields and fusions of strongly minimal sets obtained by means of Hrushovski's amalgamation method, as well as a characterization of the groups definable in these structures.

Logic · Mathematics 2013-09-20 Frank Olaf Wagner

We reformulate several basic notions of notions in finite group theory in terms of iterations of the lifting property (orthogonality) with respect to particular morphisms. Our examples include the notions being nilpotent, solvable, perfect,…

Group Theory · Mathematics 2019-06-06 Misha Gavrilovich

Let G be a finite solvable permutation group. Then modulo a possibly trivial normal elementary abelian 3-subgroup, some set-stabilizer in G is a 2-group.

Group Theory · Mathematics 2025-07-01 David Gluck

Different group structures which underline the integrable systems are considered. In some cases, the quantization of the integrable system can be provided with substituting groups by their quantum counterparts. However, some other group…

High Energy Physics - Theory · Physics 2007-05-23 A. Mironov

We study groups having the property that every non-cyclic subgroup contains its centralizer. The structure of nilpotent and supersolvable groups in this class is described. We also classify finite $p$-groups and finite simple groups with…

Group Theory · Mathematics 2014-01-28 Costantino Delizia , Urban Jezernik , Primož Moravec , Chiara Nicotera

We study definable topological dynamics of some algebraic group actions over an arbitrary NIP field $K$. We show that the Ellis group of the universal definable flow of $\mathrm{SL}_2(K)$ is non-trivial if the multiplicative group of $K$ is…

Logic · Mathematics 2020-10-29 Grzegorz Jagiella