Related papers: Pro-p groups of positive deficiency

A finitely generated group G is termed parafree if it is residually nilpotent and it has the same isomorphism types of nilpotent quotients as some free group. The two main results of this MSc. Thesis characterise the parafreeness of two…

We define the notion of accessibility for a pro-$p$ group. We prove that finitely generated pro-$p$ groups are accessible given a bound on the size of their finite subgroups. We then construct a finitely generated inaccessible pro-$p$…

Let $G$ be a finitely generated pro-$p$ group of positive rank gradient. Motivated by the study of Hausdorff dimension, we show that finitely generated closed subgroups $H$ of infinite index in $G$ never contain any infinite subgroups $K$…

We show that, for a finitely generated residually finite group $\Gamma$, the word $[x_1, \ldots, x_k]$ is a probabilistic identity of $\Gamma$ if and only if $\Gamma$ is virtually nilpotent of class less than $k$. Related results,…

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…

We address two questions of Simon Thomas. First, we show that for any n>2 one can find a four generated free subgroup of SLn(Z) which is profinitely dense. More generally, we show that an arithmetic group \Gamma which admits the congruence…

Let \Gamma(n,p) denote the binomial model of a random triangular group. We show that there exist constants c, C > 0 such that if p <= c/n^2, then a.a.s. \Gamma(n,p) is free and if p >= C log n/n^2 then a.a.s. \Gamma(n,p) has Kazhdan's…

The homology groups introduced by A. Brumer can be used to establish a criterion ensuring that a profinite $\mathbb{F}_p[[G]]$-module of a pro-$p$ group $G$ has projective dimension $d<\infty$ (cf. Thm. A). This criterion yields a new…

Given a finitely generated linear group $G$ over $\mathbb{Q}$, we construct a simple group $\Gamma$ that has the same finiteness properties as $G$ and admits $G$ as a quasi-retract. As an application, we construct a simple group of type…

It is shown that the relatively free centre-by-metabelian and (class-2 nilpotent)-by-abelian pro-p groups on 2 generators are each finitely axiomatizable in the class of all profinite groups.

For a positive integer r we prove that if G is a profinite group in which the centralizer of every nontrivial element has rank at most r, then G is either a pro-p group or a group of finite rank. Further, if G is not virtually a pro-p…

We prove that there exist finitely presented, residually finite groups that are profinitely rigid in the class of all finitely presented groups but not in the class of all finitely generated groups. These groups are of the form $\Gamma…

Let $G$ be a finite group. For some fixed prime $p$, let $\Gamma_p(G)$ be the common divisor graph built on the set of sizes of $p$-regular conjugacy classes of $G$: this is the simple undirected graph whose vertices are the class sizes of…

The greatest power of a prime $p$ dividing the natural number $n$ will be denoted by $n_p$. Let $Ind_G(g)=|G:C_G(g)|$. Suppose that $G$ is a finite group and $p$ is a prime. We prove that if there exists an integer $\alpha>0$ such that…

The structure of finite and locally finite groups in which every element has prime power order (CP-groups) is well known. In this paper we note that the combination of our earlier results with the available information on the structure of…

The article deals with profinite groups in which centralizers are virtually procyclic. Suppose that G is a profinite group such that the centralizer of every nontrivial element is virtually torsion-free while the centralizer of every…

Given a finite group $G$, denote by $\Gamma(G)$ the simple undirected graph whose vertices are the distinct sizes of noncentral conjugacy classes of $G$, and set two vertices of $\Gamma(G)$ to be adjacent if and only if they are not coprime…

We say that a finitely generated group $\Gamma$ is self-simulable if every effectively closed action of $\Gamma$ on a closed subset of $\{\texttt{0},\texttt{1}\}^{\mathbb{N}}$ is the topological factor of a $\Gamma$-subshift of finite type.…

Let $Q_m$ be the HNN extension of $\Z/m \times \Z/m$ where the stable letter conjugates the first factor to the second. We explore small presentations of the groups $\Gamma_{m,n}=Q_m \ast Q_n$. We show that for certain choices of (m,n), for…

A free-by-cyclic group $F_N\rtimes_\phi\mathbb{Z}$ has non-trivial centre if and only if $[\phi]$ has finite order in ${\rm{Out}}(F_N)$. We establish a profinite ridigity result for such groups: if $\Gamma_1$ is a free-by-cyclic group with…