Related papers: Residual dimension of nilpotent groups

We present a CFSG-free proof of the fact that the degree of nilpotence of a finite nonnilpotent group is less than $1/2$.

Let $\Gamma_G$ denote a graph associated with a group $G$. A compelling question about finite groups asks whether or not a finite group $H$ must be nilpotent provided $\Gamma_H$ is isomorphic to $\Gamma_G$ for a finite nilpotent group $G$.…

A countable group is residually finite if every nontrivial element can act nontrivially on a finite set. When a group fails to be residually finite, we might want to measure how drastically it fails - it could be that only finitely many…

Following Plotkin we say that the automorphism $x$ of the group $G$ is a nil-automorphism if, for every $g\in G$, there exists $n=n(g)$ such that $[g,_n x]=1$. If the integer $n$ can be chosen independently of $g$, then $x$ is said to be…

It is relatively easy to construct a finitely generated group with infinite asymptotic dimension: the restricted wreath product of $\mathbb{Z}$ by $\mathbb{Z}$ provides an example. In light of this, it becomes interesting to consider the…

A residually nilpotent group is \emph{$k$-parafree} if all of its lower central series quotients match those of a free group of rank $k$. Magnus proved that $k$-parafree groups of rank $k$ are themselves free. In this note we mimic this…

To each finitely generated group $G$, we associate a quasi-isometric invariant called the \emph{Dehn spectrum} of $G$. If $G$ is finitely presented, our invariant is closely related to the Dehn function of $G$, but provides more information…

We study finitely generated models of countable theories, having at most countably many nonisomorphic finitely generated models. We intro- duce a notion of rank of finitely generated models and we prove, when T has at most countably many…

For any group G, let C(G) denote the intersection of the normal- izers of centralizers of all elements of G. Set C0 = 1. Define Ci+1(G)=Ci(G) = C(G=Ci(G)) for i ? 0. By C1(G) denote the terminal term of the ascending series. In this paper,…

We prove that a subgroup of a finitely generated free nilpotent group F is undistorted if and only if it is a retract of a subgroup of finite index in F.

Let A denote either the automorphism group of the free group of rank n>=4 or the mapping class group of an orientable surface of genus n>=12 with at most 1 boundary component, and let G be either the subgroup of IA-automorphisms or the…

For a finite group $G$ and a non-negative integer $d$, denote by $\Omega_d(G)$ the number of functions $G^d\rightarrow G$ that are induced by substitution into a word with variables among $X_1,\ldots,X_d$. In this note, we show that…

For a finitely generated group $G$ the Nielsen graph $N_n(G)$, $n\geq \operatorname{rank}(G)$, describes the action of the group $\operatorname{Aut}F_n$ of automorphisms of the free group $F_n$ on generating $n$-tuples of G by elementary…

In the first part, we prove that the dominion (in the sense of Isbell) of a subgroup of a finitely generated nilpotent group is trivial in the category of all nilpotent groups. In the second part, we show that the dominion of a subgroup of…

Hanna Neumann asked whether it was possible for two non-isomorphic residually nilpotent finitely generated (fg) groups, one of them free, to share the lower central sequence. Gilbert Baumslag answered the question in the affirmative and…

We study Frattini subgroups of various generalizations of hyperbolic groups. For any countable group $G$ admitting a general type action on a hyperbolic space $S$, we show that the induced action of the Frattini subgroup $\Phi(G)$ on $S$…

Let $G$ be a group that is relatively hyperbolic with respect to a collection of subgroups $\{H_{\lambda}\}_{\lambda\in \Lambda}$. Suppose that $G$ is given by a finite relative presentation $\mathcal{P}$ with respect to this collection. We…

A variety of behaviors of entropy functions of random walks on finitely generated groups is presented, showing that for any $\frac{1}{2}\leq \alpha\leq\beta\leq1$, there is a group $\Gamma$ with measure $\mu$ equidistributed on a finite…

Let $\mathfrak{Nil}$ be the class of nilpotent groups and $G$ be a group. We call $G$ a meta-$\mathfrak{Nil}$-Hamiltonian group if any of its non-$\mathfrak{Nil}$ subgroups is normal. Also, we call $G$ a para-$\mathfrak{Nil}$-Hamiltonian…

Let $G$ be a connected reductive group defined over $\mathbb F_q$. Fix an integer $M\geq 2$, and consider the power map $x\mapsto x^M$ on $G$. We denote the image of $G(\mathbb F_q)$ under this map by $G(\mathbb F_q)^M$ and estimate what…