Related papers: On some relatively free pro-p groups

Using methods of associative algebras, Lie theory, group cohomology, and modular representation theory, we construct profinite $p$-adic analytic groups such that the centralizer of each of their non-trivial elements is abelian. The paper…

We characterize co-Hopfian finitely generated torsion free nilpotent groups in terms of their Lie algebra automorphisms, and construct many examples of such groups.

We prove that amongst the class of free-by-cyclic groups, Gromov hyperbolicity is an invariant of the profinite completion. We show that whenever $G$ is a free-by-cyclic group with first Betti number equal to one, and $H$ is a…

Let p be a prime, let G be a p-valuable, abelian-by-procyclic group, and let k be a field of characteristic p. We will prove that all faithful prime ideals of the completed group algebra kG are controlled by the centre of G, and a complete…

Given a semisimple group over a local field of residual characteristic p, its topological group of rational points admits maximal pro-p-subgroups. Quasi-split simply-connected semisimple groups can be described in the combinatorial terms of…

We study groups having the property that every non-abelian subgroup contains its centralizer. We describe various classes of infinite groups in this class, and address a problem of Berkovich regarding the classification of finite $p$-groups…

We prove that a semigroup generated by a reversible two-state Mealy automaton is either finite or free of rank 2. This fact leads to the decidability of finiteness for groups generated by two-state or two-letter invertible-reversible Mealy…

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…

Examples are given of profinite groups that are not strongly complete, and have other `bad' properties, yet have only finitely many open subgroups of each finite index. It is shown that a profinite group with the latter property must be…

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…

Let $G$ be a dp-minimal group; we prove some consequences of several different hypotheses on $G$. First, if $G$ is torsion-free, then it is abelian. Second, if $G$ admits a distal f-generic type, then it is virtually nilpotent; we prove…

By two well-known results, one of Ax, one of Lubotzky and van den Dries, a profinite group is projective iff it is isomorphic to the absolute Galois group of a pseudo-algebraically closed field. This paper gives an analogous…

We show that a finitely generated soluble group is virtually nilpotent if and only if the diameter of its finite coset spaces admits a uniform polynomial lower bound in terms of their size. We obtain the same conclusion for certain finitely…

Anabelian geometry suggests that, for suitably geometric objects, their \'etale fundamental groups determine the geometric objects up to isomorphism. From a group-theoretic viewpoint, this philosophy requires rigidity properties, which…

We study the commensurators of free groups and free pro-$p$ groups, as well as certain subgroups of these. We prove that the commensurator $Comm(F)$ of a non-abelian free group of finite rank $F$ is not virtually simple, answering a…

If $C$ is a smooth curve over an algebraically closed field $k$ of characteristic $p$, then the structure of the maximal prime to $p$ quotient of the \'etale fundamental group is known by analytic methods. In this paper, we discuss the…

Let $G$ be a profinite group in which for every element $x\in G$ there exists a natural number $q=q(x)$ such that $x^q$ is Engel. We show that $G$ is locally virtually nilpotent. Further, let $p$ be a prime and $G$ a finitely generated…

We prove that if a group is nilpotent (resp. metabelian), then so is the subgroup of its automorphism group generated by all polynomial automorphisms.

We present a structural description of finite nilpotent groups of class at most $2$ using a specified number of subdirect and central products of $2$-generated such groups. As a corollary, we show that all of these groups are isomorphic to…

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…