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

Given a set $A\subseteq\mathbb{N}$, we consider the relationship between stability of the structure $(\mathbb{Z},+,0,A)$ and sparsity of the set $A$. We first show that a strong enough sparsity assumption on $A$ yields stability of…

This paper proves that if $E$ is a field, such that the Galois group $\mathcal{G}(E(p)/E)$ of the maximal $p$-extension $E(p)/E$ is a Demushkin group of finite rank $r(p)_{E} \ge 3$, for some prime number $p$, then $\mathcal{G}(E(p)/E)$…

Let $K$ be a henselian valued field with ${\cal O}_K$ its valuation ring, $\Gamma$ its value group, and $\boldsymbol{k}$ its residue field. We study the definable subsets of ${\cal O}_K$ and algebraic groups definable over ${\cal O}_K$ in…

We study $\mu$-stabilizers for groups definable in ACVF in the valued field sort. We prove that $\mathrm{Stab}^\mu(p)$ is an infinite unbounded definable subgroup of $G$ when $p$ is standard and unbounded. In the particular case when $G$ is…

Let p>2 be a prime, K a finite extension over Q_p and G :=Gal(\bar K/K). We extend Kisin's theory on \phi-modules of finite E(u)-height to give a new classification of G-stable Z_p-lattices in semi-stable representations

Consider $\operatorname{Sym}(n)$, endowed with the normalized Hamming metric $d_n$. A finitely-generated group $\Gamma$ is \emph{P-stable} if every almost homomorphism $\rho_{n_k}\colon \Gamma\rightarrow\operatorname{Sym}(n_k)$ (i.e., for…

We study the structure of infinite discrete sets D definable in expansions of ordered Abelian groups whose theories are strong and definably complete, with particular emphasis on the set D' comprised of differences between successive…

Let $G$ be a finite group and $\sigma_1(G)=\frac{1}{|G|}\sum_{H\leq G}\,|H|$. In this paper, we prove that if $\sigma_1(G)<2+\frac{11}{|G|}$\,, then $G$ is supersolvable. In particular, some new characterizations of the well-known groups…

We show that for an arbitrary stable theory T, a group G is profinite if and only if G occurs as a Galois group of some Galois extension inside a monster model of T. We prove that any PAC substructure of the monster model of T has…

It has been proved in \cite{ge} for every $p$-group of order $p^n$, $|\mathcal{M}(G)|=p^{\f{1}{2}n(n-1)-t(G)}$, where $t(G)\geq 0$. In \cite{be, el, zh}, the structure of $G$ has been characterized for $t(G)=0,1,2,3$ by several authors.…

We characterize some classes of finite soluble groups. In particular, we prove that: a finite group $G$ is supersoluble if and only if $G$ has a normal subgroup $D$ such that $G/D$ is supersoluble and $D$ avoids every chief factor of $G$…

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…

Given an infinitesimal perturbation of a discrete-time finite Markov chain, we seek the states that are stable despite the perturbation, \textit{i.e.} the states whose weights in the stationary distributions can be bounded away from $0$ as…

Let $G$ be a finite group. If $\Gamma$ is a permutation group with $G_{right}\leq\Gamma\leq Sym(G)$ and $\mathcal{S}$ is the set of orbits of the stabilizer of the identity $e=e_{G}$ in $\Gamma$, then the $\mathbb{Z}$-submodule…

A probability-measure-preserving action of a countable group is called stable if its transformation-groupoid absorbs the ergodic hyperfinite equivalence relation of type II_1 under direct product. We show that for a countable group G and…

We extend a classical theorem of P. Hall that claims that if the index of every maximal subgroup of a finite group $G$ is a prime or the square of a prime, then $G$ is solvable. Precisely, we prove that if one allows, in addition, the…

For G a group definable in an NIP theory we prove that there is a smallest type-definable subgroup H of G such that the quotient G/H is stable. This generalizes the existence of G^00, the smallest type-definable subgroup of G of bounded…

We give sharp bounds in Breuillard, Green and Tao's finitary version of Gromov's theorem on groups with polynomial growth. Precisely, we show that for every non-negative integer d there exists $c=c(d)>0$ such that if $G$ is a group with…

Given a structure $\mathcal{M}$ and a stably embedded $\emptyset$-definable set $Q$, we prove tameness preservation results when enriching the induced structure on $Q$ by some further structure $\mathcal{Q}$. In particular, we show that if…

We show that every definable group G in an o-minimal structure is definably finitely generated. That is, G contains a finite subset that is not included in any proper definable subgroup. This provides another proof, and a generalization to…