Related papers: Random Nilpotent Groups of Maximal Step

For every $3/4\le \delta, \beta< 1$ satisfying $\delta\leq \beta < \frac{1+\delta}{2}$ we construct a finitely generated group $\Gamma$ and a (symmetric, finitely supported) random walk $X_n$ on $\Gamma$ so that its expected distance from…

Let $G$ be a hyperbolic group that splits as a graph of free groups with cyclic edge groups, and which is not isomorphic to a free product of free and surface groups. We show that $G$ admits an exhausting, nested sequence of finite-index…

For $G$ a finite group, let $d_2(G)$ denote the proportion of triples $(x, y, z) \in G^3$ such that $[x, y, z] = 1$. We determine the structure of finite groups $G$ such that $d_2(G)$ is bounded away from zero: if $d_2(G) \geq \epsilon >…

Given two positive integers n and c, we determine an upper bound, as a function of n and c, for the maximum order of a finite nilpotent transitive group of degree n and nilpotency class at most c.

We compute the characteristic varieties and the Alexander polynomial of a finitely generated nilpotent group. We show that the first characteristic variety may be used to detect nilpotence. We use the Alexander polynomial to deduce that the…

In this paper we study random walks on a finitely generated group $G$ which has a free action on a $\mathbb{Z}^n$-tree. We show that if $G$ is non-abelian and acts minimally, freely and without inversions on a locally finite…

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,…

Baumslag conjectured in the 1970s that the automorphism tower of a finitely generated free nilpotent group must be very short. Let F_{n,c} denote a free nilpotent group of finite rank n at least two and of nilpotency class c at least two.…

We prove that a K-approximate subgroup of an arbitrary torsion-free nilpotent group can be covered by a bounded number of cosets of a nilpotent subgroup of bounded rank, where the bounds are explicit and depend only on K. The result can be…

Let $G$ be a finite group. In this short note, we give a criterion of nilpotency of $G$ based on the existence of elements of certain order in each section of $G$.

A conjecture of Rosenberger says that a group of the form $\langle x,y|x^p=y^q=W(x,y)^r=1\rangle$ (with $r>1$) is either virtually solvable or contains a non-abelian free subgroup. This note is an account of an attack on the conjecture in…

A subset $S$ of a group $G$ is called an Engel set if, for all $x,y\in S$, there is a non-negative integer $n=n(x,y)$ such that $[x,\,_n y]=1$. In this paper we are interested in finding conditions for a group generated by a finite Engel…

Gray and Ruskuc have shown that any group G occurs as the maximal subgroup of some free idempotent generated semigroup IG(E) on a biordered set of idempotents E, thus resolving a long standing open question. Given the group G, they make a…

Let $\Gamma$ be a nonelementary hyperbolic group with a word metric $d$ and $\partial\Gamma$ its hyperbolic boundary equipped with a visual metric $d_a$ for some parameter $a>1$. Fix a superexponential symmetric probability $\mu$ on…

For an element $g$ of a group $G$, an Engel sink is a subset ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$. A~finite group is nilpotent if and only if…

If $G$ is a nilpotent group with a balanced presentation and $G\not\cong\mathbb{Z}^3$ then $\beta_1(G;\mathbb{Q})\leq2$ \cite{Hi22}. We show that if such a group $G$ has an abelian normal subgroup $A$ such that $G/A\cong\mathbb{Z}^2$ then…

We consider expansive group actions on a compact metric space containing a special fixed point denoted by $0$, and endomorphisms of such systems whose forward trajectories are attracted toward $0$. Such endomorphisms are called…

Suppose $G$ is a $\mathcal{T}$-group (finitely generated torsion-free nilpotent) with centralizers outside of the derived subgroup being abelian of rank equal to $\text{rank}(Z_1)+1$. This includes the class of free nilpotent groups…

We define matrix groups $FG_n(P)$ for each natural number $n$ and finite set of primes $P$, such that every rational-valued upper triangular matrix group is a (possibly distorted) subgroup. Brofferio and Schapira [Brofferio2011poisson],…

Let $M_n$ be the number of steps of the loop-erasure of a simple random walk on $\mathbb{Z}^2$ from the origin to the circle of radius $n$. We relate the moments of $M_n$ to $Es(n)$, the probability that a random walk and an independent…