Related papers: On Growth of Generalized Grigorchuk's Overgroups

We show that finitely generated groups which are Liouville and without infinite finite-dimensional linear representations must have a global fixed point whenever they act by isometry on a finite-dimensional complete CAT(0)-space. This…

Let $\Omega$ be a finite set and $T(\Omega)$ be the full transformation monoid on $\Omega$. The rank of a transformation $t\in T(\Omega)$ is the natural number $|\Omega t|$. Given $A\subseteq T(\Omega)$, denote by $\langle A\rangle$ the…

We study aspects of the enumeration of permutation classes, sets of permutations closed downwards under the subpermutation order. First, we consider monotone grid classes of permutations. We present procedures for calculating the generating…

For a group $G$ definable in a first order structure $M$ we develop basic topological dynamics in the category of definable $G$-flows. In particular, we give a description of the universal definable $G$-ambit and of the semigroup operation…

We present a characterization of paratopological gyrogroups that can be topologically embedded as subgyrogroups into a product of first-countable $T_{i}$ paratopological gyrogroups for $i = 0, 1, 2$. Specifically, we demonstrate that a…

Given a matrix $A\in SL(N,\Z)$, form the semidirect product $G=\Z^N\rtimes_A \Z$ where the $\Z$ factor acts on $\Z^N$ by $A$. Such a $G$ arises naturally as the fundamental group of an $N$-dimensional torus bundle which fibers over the…

Let $\mathrm{WP}_G$ denote the word problem in a finitely generated group $G$. We consider the complexity of $\mathrm{WP}_G$ with respect to standard deterministic Turing machines. Let $\mathrm{DTIME}_k(t(n))$ be the complexity class of…

We show that for some absolute (explicit) constant $C$, the following holds for every finitely generated group $G$, and all $d >0$: If there is some $ R_0 > \exp(\exp(Cd^C))$ for which the number of elements in a ball of radius $R_0$ in a…

This note constructs a finitely generated group $W$ whose word-growth is exponential, but for which the infimum of the growth rates over all finite generating sets is 1 -- in other words, of non-uniformly exponential growth. This answers a…

Let ${\rm cs}(G)$ denote the set of conjugacy class sizes of a group $G$, and let ${\rm cs}^*(G)={\rm cs}(G)\setminus\{1\}$ be the sizes of non-central classes. We prove three results. We classify all finite groups $G$ with ${\rm…

Grigorchuk and de la Harpe asked if there are many groups with growth exponent close to that of the free group with the same number of generators. We prove that this is in fact the case for a generic group (in the density model of random…

Marius T\u{a}rn\u{a}uceanu described the finite groups $G$ having $|G|-1$ cyclic subgroups. We describe the finite groups $G$ having $|G|-\Delta$ cyclic subgroups for $\Delta=2, 3, 4$ and $5$.

Let $m_n(G)$ denote the number of maximal subgroups of $G$ of index $n$. An upper bound is given for the degree of maximal subgroup growth of all polycyclic metabelian groups $G$ (i.e., for $\limsup \frac{\log m_n(G)}{\log n}$, the degree…

In this article, we prove that if a finitely generated group $G$ is not torsion then a necessary and sufficient condition for every full shift over $G$ has (continuous) cocycle superrigidity is that $G$ has one end. It is a topological…

A pair $(G,T)$ is called a faithful odd transposition group if $T$ is a normal set of involutions generating the group $G$ and the product of any two distinct elements of $T$ has odd order. We introduce a special subclass of such groups, a…

We prove that that for all $\eps$, having cogrowth exponent at most $1/2+\eps$ (in base $2m-1$ with $m$ the number of generators) is a generic property of groups in the density model of random groups. This generalizes a theorem of…

Given an Abelian groups $G$, denote $\mu(G)$ the size of its largest sum-free subset and $f_{\max}(G)$ the number of maximal sum-free sets in $G$. Confirming a prediction by Liu and Sharifzadeh, we prove that all even-order $G\ne…

Let $G$ be a finite group and let $\pi(G)=\{p_1, p_2, \ldots, p_k\}$ be the set of prime divisors of $|G|$ for which $p_1<p_2<\cdots<p_k$. The Gruenberg-Kegel graph of $G$, denoted ${\rm GK}(G)$, is defined as follows: its vertex set is…

We consider a set of generators for the space of Eisenstein series of even weight $k$ for any congruence group $\Gamma$ and study the set of all of their zeros taken for $\Gamma(1)$-conjugates of $\Gamma$ in the standard fundamental domain…

Given a finitely generated residually finite group $G$, the residual finiteness growth $\text{RF}_G: \mathbb{N} \to \mathbb{N}$ bounds the size of a finite group $Q$ needed to detect an element of norm at most $r$. More specifically, if…