Related papers: Stable groups and expansions of $(\mathbb{Z},+,0)$

We define two families of expansions of $(\mathbb{Z},+,0)$ by unary predicates, and prove that their theories are superstable of $U$-rank $\omega$. The first family consists of expansions $(\mathbb{Z},+,0,A)$, where $A$ is an infinite…

We prove that $(\Z,+,0)$ has no proper superstable expansions of finite Lascar rank. Nevertheless, this structure equipped with a predicate defining powers of a given natural number is superstable of Lascar rank $\omega$. Additionally, our…

Suppose $N$ is elementarily equivalent to an archimedean ordered abelian group $(G,+,<)$ with small quotients (for all $1 \leq n < \omega$, $[G: nG]$ is finite). Then every stable reduct of $N$ which expands $(G,+)$ (equivalently every…

We solve two problems from the paper "On maximal stable quotients of definable groups in NIP theories" by M. Haskel and A. Pillay, which concern maximal stable quotients of groups type-definable in NIP theories. The first result says that…

A sofic group $G$ is said to be flexibly stable if every sofic approximation to $G$ can converted to a sequence of disjoint unions of Schreier graphs by modifying an asymptotically vanishing proportion of edges. We establish that if…

This work can be thought as a contribution to the model theory of group extensions. We study the groups G which are interpretable in the disjoint union of two structures (seen as a two-sorted structure). We show that if one of the two…

Fix a weakly minimal (i.e., superstable $U$-rank $1$) structure $\mathcal{M}$. Let $\mathcal{M}^*$ be an expansion by constants for an elementary substructure, and let $A$ be an arbitrary subset of the universe $M$. We show that all…

We prove a statement concerning hyperlinearity for central extensions of property (T) groups in the presence of flexible HS-stability, and more generally, weak ucp-stability. Notably, this result is applied to show that if $\text{Sp}_{2g}…

Let $K=Z/pZ$ and let $A$ be a subset of $\GL_r(K)$ such that $<A>$ is solvable. We reduce the study of the growth of $A$ under the group operation to the nilpotent setting. Specifically we prove that either $A$ grows rapidly (meaning…

Call a (strictly increasing) sequence $(r_{n})$ of natural numbers \emph{regular} if it satisfies the following condition: $r_{n+1}/r_{n}\to\theta\in\mathbb{R}^{>1}\cup\{\infty\}$ and, if $\theta$ is algebraic, then $(r_{n})$ satisfies a…

Let us say that a discrete countable group is stable if it has an ergodic, free, probability-measure-preserving and stable action. Let G be a discrete countable group with a central subgroup C. We present a sufficient condition and a…

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…

A profinite group is index-stable if any two isomorphic open subgroups have the same index. Let $p$ be a prime, and let $G$ be a compact $p$-adic analytic group with associated $\mathbb{Q}_p$-Lie algebra $\mathcal{L}(G)$. We prove that $G$…

We consider $G$, a linear group defined over $k$, an algebraically closed field. By considering $k$ as an embedded residue field of an algebraically closed valued field $K$, we can associate to it a compact $G$-space $S^\mu_G(k)$,…

A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence…

A group is said to be stable if it is isomorphic to its automorphism group. We investigate how we can extend centerless groups to construct finite stable groups with nontrivial centers. To this end, we classify all finite stable groups…

In this short note we prove that a definable set $X$ over $\mathbb F_n$ is superstable only if $X(\mathbb F_n)=X(\mathbb F_{\omega})$.

We study the notion of permutation stability (or P-stability) for countable groups. Our main result provides a wide class of non-amenable product groups which are not P-stable. This class includes the product group $\Sigma\times\Lambda$,…

We prove a structure theorem for stable functions on amenable groups, which extends the arithmetic regularity lemma for stable subsets of finite groups. Given a group $G$, a function $f\colon G\to [-1,1]$ is called stable if the binary…

Let G be one of the groups SL_n C, Sp_2n C, SO_m C, O_m C, or G_2. For a generically free G-representation V, we say that N is a level of stable rationality for V/G if V/G x P^N is rational. In this paper we improve known bounds for the…