Related papers: Profinite groups with complemented closed subgroup…

Let $\mathfrak F$ be a class of groups. A group $G$ is called $ca$-$\mathfrak F$-group if its every non-abelian chief factor is simple and $H/K \leftthreetimes C_G(H/K) \in \mathfrak F$ for every abelian chief factor $H/K$ of $G$. In this…

There has been much recent interest into those properties of a 3-manifold determined by the profinite completion of its fundamental group. In this paper we give readily computable criteria specifying precisely when two orientable graph…

A group is $\textit{finitely axiomatizable}$ (FA) in a class $\mathcal{C}$ if it can be determined up to isomorphism within $\mathcal{C}$ by a sentence in the first-order language of group theory. We show that profinite groups of various…

A finitely generated residually finite group $G$ is an $\widehat{OE}$-group if any action of its profinite completion $\widehat G$ on a profinite tree with finite edge stabilizers admits a global fixed point. In this paper, we study the…

A word hyperbolic group $G$ is called GFERF if every quasiconvex subgroup coincides with the intersection of finite index subgroups containing it. We show that in any such group, the product of finitely many quasiconvex subgroups is closed…

Let $g$ be an element of a group $G$. For a positive integer $n$, let $E_n(g)$ be the subgroup generated by all commutators $[...[[x,g],g],\dots ,g]$ over $x\in G$, where $g$ is repeated $n$ times. We prove that if $G$ is a profinite group…

A group-word $w$ is called concise if the verbal subgroup $w(G)$ is finite whenever $w$ takes only finitely many values in a group $G$. It is known that there are words that are not concise. The problem whether every word is concise in the…

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 $\sigma =\{\sigma_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$ and let $G$ be a finite group. Then $G$ is said to be $\sigma $-full if $G$ has a Hall $\sigma _{i}$-subgroup for all $i$. A subgroup $A$ of $G$ is…

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 $H$ be a subgroup of a group $G$. The permutizer $P_G(H)$ is the subgroup generated by all cyclic subgroups of $G$ which permute with $H$. A subgroup $H$ of a group $G$ is strongly permutable in $G$ if $P_U(H)=U$ for every subgroup $U$…

In this paper we investigate some properties of the Burnside ring of a profinite group as defined in \cite{ds}. We introduce the notion of the crossed Burnside ring of a profinite FC-group, and generalise some results from finite to…

Let $\sigma =\{\sigma_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$. A set ${\cal H}$ of subgroups of $G$ is said to be a \emph{complete Hall $\sigma $-set} of $G$ if every member $\ne 1$ of ${\cal H}$ is a Hall…

We consider profinite groups as 2-sorted first order structures, with a group sort, and a second sort which acts as an index set for a uniformly definable basis of neighbourhoods of the identity. It is shown that if the basis consists of…

Let $\sigma =\{\sigma_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$ and $G$ a finite group. $G$ is said to be $\sigma$-soluble if every chief factor $H/K$ of $G$ is a $\sigma _{i}$-group for some $i=i(H/K)$. A set…

The Pr\"ufer rank $\mathrm{rk}(G)$ of a profinite group $G$ is the supremum, across all open subgroups $H$ of $G$, of the minimal number of generators $\mathrm{d}(H)$. It is known that, for any given prime $p$, a profinite group $G$ admits…

We prove two results. (1) There is an absolute constant $D$ such that for any finite quasisimple group $S$, given 2D arbitrary automorphisms of $S$, every element of $S$ is equal to a product of $D$ `twisted commutators' defined by the…

Assume $G$ is a solvable group whose elementary abelian sections are all finite. Suppose, further, that $p$ is a prime such that $G$ fails to contain any subgroups isomorphic to $C_{p^\infty}$. We show that if $G$ is nilpotent, then the…

A (left) Engel sink of an element g of a group G is a subset containing all sufficiently long commutators [...[[x,g],g],...,g], where x ranges over G. We prove that if p is a prime and G a finite group in which, for some positive integer m,…

A soluble pro-p group of finite rank is finitely axiomatizable in the class of all profinite groups if and only if for each open subgroup H, the image of Z(H) in the abelianization of H is finite, subject to some suitable hypothesis of…