Related papers: On profinite groups with positive rank gradient

Let \Gamma be a finitely presentable pro-p group with a nontrivial finitely generated closed normal subgroup N of infinite index. Then def(\Gamma)\leq 1, and if def(\Gamma)=1 then \Gamma is a pro-p duality group of dimension 2, N is a free…

We construct the first example of a finitely-presented, residually-finite group that contains an infinite sequence of non-isomorphic finitely-presented subgroups such that each of the inclusion maps induces an isomorphism of profinite…

We introduce various probablistic finiteness conditions for profinite groups related to positive finite generation (PFG). We investigate completed group rings which are PFG as modules, and use this to answer a question of Kionke and the…

A coprime commutator in a profinite group $G$ is an element of the form $[x,y]$, where $x$ and $y$ have coprime order and an anti-coprime commutator is a commutator $[x,y]$ such that the orders of $x$ and $y$ are divisible by the same…

We present a construction that yields infinite families of non-isomorphic semidirect products $N \rtimes F_m$ sharing a specified profinite completion. Within each family, $m \ge 2$ is constant and $N$ is a fixed group. For $m=2$ we can…

The main result of the paper is the following theorem. Let $q$ be a prime and $A$ an elementary abelian group of order $q^3$. Suppose that $A$ acts coprimely on a profinite group $G$ and assume that $C_G(a)$ is locally nilpotent for each…

This paper formulates a group condition which is enjoyed by absolute Galois groups, and which guarantees that profinite groups satisfying the condition can be approximated as an inverse limit of groups which are profinite analogues of…

Let $G$ be a finite group with derived subgroup of rank $r$. We prove that $\gzz\leq |G'|^{2r}$. Motivated by the results of I. M. Isaacs in \cite{isa} we show that if $G$ is capable then $\gz\leq |G'|^{4r}$. This answers a question of L.…

Let p be a prime. We prove that if a finite group G has non-abelian Sylow p-subgroups, and the class size of every p-element in G is coprime to p; then G contains a simple group as a subquotient which exhibits the same property. In addition…

We completely describe the finitely generated pro-$p$ subgroups of the profinite completion of the fundamental group of an arbitrary $3$-manifold. We also prove a pro-$p$ analogue of the main theorem of Bass--Serre theory for finitely…

We introduce the condition of a profinite group being semi-free, which is more general than being free and more restrictive than being quasi-free. In particular, every projective semi-free profinite group is free. We prove that the usual…

Let $X$ be a normal projective variety of dimension $n$ and $G$ an abelian group of automorphisms such that all elements of $G\setminus \{\mathrm{id}\}$ are of positive entropy. Dinh and Sibony showed that $G$ is actually free abelian of…

Let G be a profinite group. The following results are proved. The commutator subgroup G' is finite if and only if G is covered by countably many abelian subgroups. The group G is finite-by-nilpotent if and only if G is covered by countably…

By a coprime commutator in a profinite group $G$ we mean any element of the form $[x, y]$, where $x,y\in G$ and $(|x|,|y|)=1$. It is well-known that the subgroup generated by the coprime commutators of $G$ is precisely the pronilpotent…

Let $\mathcal{C}$ be a class of finite groups closed for subgroups, quotients groups and extensions. Let $\Gamma$ be a finite simplicial graph and $G = G_{\Gamma}$ be the corresponding pro-$\mathcal C$ RAAG. We show that if $N$ is a…

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.

A word $w$ is said to be concise in a class of groups if, for every $G$ in that class such that the set of $w$-values $w\{G\}$ is finite, the verbal subgroup $w(G)$ is also finite. In the context of profinite groups, the notion of strong…

Surface groups are determined among limit groups by their profinite completions. As a corollary, the set of surface words in a free group is closed in the profinite topology.

We show that for every finitely presented pro-$p$ nilpotent-by-abelian-by-finite group $G$ there is an upper bound on $\dim_{\mathbb{Q}_p} (H_1(M, \mathbb{Z}_p) \otimes_{\mathbb{Z}_p} \mathbb{Q}_p )$, as $M$ runs through all pro-$p$…

Let $G$ be a finite group and assume $p$ is a prime dividing the order of $G$. Suppose for any such $p$, that every two abelian $p$-subgroups of $G$ of equal order are conjugate. The structure of such a group $G$ has been settled in this…