Related papers: Profinite groups with NIP theory and $p$-adic anal…

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…

We obtain some general restrictions on the continuous endomorphisms of a profinite group G under the assumption that G has only finitely many open subgroups of each index (an assumption which automatically holds, for instance, if G is…

Let G be a finitely presented group, and let p be a prime. Then G is 'large' (respectively, 'p-large') if some normal subgroup with finite index (respectively, index a power of p) admits a non-abelian free quotient. This paper provides a…

A group of order $p^n$ ($p$ prime) has an indecomposable polynomial invariant of degree at least $p^{n-1}$ if and only if the group has a cyclic subgroup of index at most $p$ or it is isomorphic to one of two particular groups of small…

We prove that a profinite group $G$ with positive rank gradient does not satisfy a group law. In the case when $G$ is a pro-$p$ group we show that $G$ contains a nonabelian dense free subgroup.

Given a prime power $p^d$ with $p$ a prime and $d$ a positive integer, we classify the finite groups $G$ with $p^{2d}$ dividing $|G|$ in which all subgroups of order $p^d$ are complemented and the finite groups $G$ having a normal…

Let $A$ be a commutative ring, and assume every non-trivial ideal of $A$ has finite-index. We show that if ${\rm{SL}}_n(A)$ has bounded elementary generation then every conjugation-invariant norm on it is either discrete or precompact. If…

We study the existence of (unmixed) Beauville structures in finite $p$-groups, where $p$ is a prime. First of all, we extend Catanese's characterisation of abelian Beauville groups to finite $p$-groups satisfying certain conditions which…

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…

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 condition, in two variants, is given such that if a property P satisfies this condition, then every logic which is at least as strong as first-order logic and can express P fails to have the compactness property. The result is used to…

We study the embedding property in the category of sorted profinite groups. We introduce a notion of the sorted embedding property (SEP), analogous to the embedding property for profinite groups. We show that any sorted profinite group has…

Let $p$ be a prime. We say that a pro-$p$ group is self-similar of index $p^k$ if it admits a faithful self-similar action on a $p^k$-ary regular rooted tree such that the action is transitive on the first level. The self-similarity index…

We give two examples of a finitely generated subgroup of a free group and a subset, closed in the profinite topology of a free group, such that their product is not closed in the profinite topology of a free group.

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…

We try to understand complete types over a somewhat saturated model of a complete first order theory which is dependent (previously called NIP), by "decomposition theorems for such types". Our thesis is that the picture of dependent theory…

We give new and improved results on the freeness of subgroups of free profinite groups: A subgroup containing the normal closure of a finite word in the elements of a basis is free; Every infinite index subgroup of a finitely generated…

Monadic stability and the more general monadic dependence (or NIP) are tameness conditions for classes of logical structures, studied in the 80's in Shelah's classification program in model theory. They recently emerged in algorithmic and…

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…

Let $p$ be a prime. In this paper we classify the $p$-structure of those finite $p$-separable groups such that, given any three non-central conjugacy classes of $p$-regular elements, two of them necessarily have coprime lengths.