Related papers: An Aschbacher--O'Nan--Scott theorem for countable …
We prove Cherlin's conjecture, concerning binary primitive permutation groups, for those groups with socle isomorphic to $\mathrm{PSL}_2(q)$, ${^2\mathrm{B}_2}(q)$, ${^2\mathrm{G}_2}(q)$ or $\mathrm{PSU}_3(q)$. Our method uses the notion of…
Refining a result of Erdos and Mays, we give asymptotic series expansions for the functions $A(x)-C(x)$, the count of $n\leq x$ for which every group of order $n$ is abelian (but not all cyclic), and $N(x)-A(x)$, the count of $n\leq x$ for…
Let $A$ be an elementary abelian $r$-group with rank at least $3$ that acts faithfully on the finite $r'$-group $G$. Assume that $G$ is $A$-simple, so that $G = K_{1} \times\cdots\times K_{n}$ where $K_{1},\ldots,K_{n}$ is a collection of…
We present a contribution to the structure theory of locally compact groups. The emphasis is on compactly generated locally compact groups which admit no infinite discrete quotient. It is shown that such a group possesses a characteristic…
In [A. Stolz and A. Thom, On the lattice of normal subgroups in ultraproducts of compact simple groups, PLMS 108(1), 2014] it was stated that the lattice of normal subgroups of an ultraproduct of finite simple groups is always linearly…
We consider a finitely generated group acting minimally on a compact space by homeomorphsims, and assume that the Schreier graph of at least one orbit is quasi-isometric to a line. We show that the topological full group of such an action…
A finite transitive permutation group is said to be 3/2-transitive if all the nontrivial orbits of a point stabilizer have the same size greater than 1. Examples include the 2-transitive groups, Frobenius groups and several other less…
A Nash group is said to be almost linear if it has a Nash representation with finite kernel. Structures and basic properties of these groups are studied.
For given linear action of a finite group on a lattice and a positive integer q, we prove that the mod q permutation representation is a quasi-polynomial in q. Additionally, we establish several results that can be considered as mod…
We investigate questions related to the presence of primitive words and Lyndon words in automatic and linearly recurrent sequences. We show that the Lyndon factorization of a k-automatic sequence is itself k-automatic. We also show that the…
Let $G$ be a transitive permutation group of degree $n$ with point stabiliser $H$ and let $r$ be a prime divisor of $n$. We say that $G$ is $r$-elusive if it does not contain a derangement of order $r$. The problem of determining the…
We study irreducible restrictions from modules over alternating groups to subgroups. We get reduction results which substantially restrict the classes of subgroups and modules for which this is possible. This is known when the…
A foundational theorem of Laudenbach and Po\'enaru states that any diffeomorphism of $\#^n(S^1\times S^2)$ extends to a diffeomorphism of $\natural^n(S^1\times B^3)$. We prove a generalization of this theorem that accounts for the presence…
We discuss recent quantitative results in connexion with Kronecker's theorem on the density of subgroups in R^n and with Dani and Raghavan's theorem on the density of orbits in the spaces of frames. We also propose several related problems.…
We initiate the study of finite abelian groups that faithfully act on 3-dimensional rationally connected varieties. We show that these groups can be naturally divided into three types: the groups of product type are finite abelian groups…
We establish a connection between two well-studied spaces of countable groups: the space of group operations and the space of marked groups. This connection shows that the two spaces are equivalent in terms of generic properties in the…
Let $G$ be a transitive normal subgroup of a permutation group $A$ of finite degree $n$. The factor group $A/G$ can be considered as a certain Galois group and one would like to bound its size. One of the results of the paper is that $|A/G|…
A countable group is C*-simple if its reduced C*-algebra is simple. It is well known that C*-simplicity implies that the amenable radical of the group must be trivial. We show that the converse does not hold by constructing explicit…
Ostrowski's theorem implies that $\log(x),\log(x+1),\ldots$ are algebraically independent over $\mathbb{C}(x)$. More generally, for a linear differential or difference equation, it is an important problem to find all algebraic dependencies…
Consider a finite l-group acting on the affine space of dimension n over a field k, whose characteristic differs from l. We prove the existence of a fixed point, rational over k, in the following cases: --- The field k is p-special for some…