Related papers: Relatively projective pro-$p$ groups

If G is a finitely generated powerful pro-p group satisfying a certain law v=1, and if G can be generated by a normal subset T of finite width which satisfies a positive law, we prove that G is nilpotent. Furthermore, the nilpotency class…

We develop a method to show that some (abstract) groups can be embedded into a free pro-$p$ group. In particular, we show that a finitely generated subgroup of a free $\mathbb Q$-group can be embedded into a free pro-$p$ group for almost…

We settle an old conjecture of Karrass and Solitar by proving that a finitely generated subgroup of a non-trivial free product $G = A\ast B$ has finite index if and only if it intersects non-trivially each non-trivial normal subgroup of…

Let p be a prime number and F be a number field. We consider the Galois group G over the cyclotomic Z_p extension of F of the maximal unramified, p-decomposed, pro-p-extension of the cyclotomic Z_p extension of F. The question whether G is…

A pro-Lie group is a projective limit of a family of finite-dimensional Lie groups. In this note we show that a pro-Lie group $G$ is a Lie group in the sense that its topology is compatible with a smooth manifold structure for which the…

A non-trivial finitely generated pro-$p$ group $G$ is said to be strongly hereditarily self-similar of index $p$ if every non-trivial finitely generated closed subgroup of $G$ admits a faithful self-similar action on a $p$-ary tree. We…

We prove the Identity Theorem for pro-$p$-groups with a single defining relation giving a positive feedback to a question of Serre on the structure of relation modules. A construction of "conjurings" indicates finality of our result in a…

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 construct two families of examples of pro-p groups, with rather elementary presentations, that do not complete into 1-cyclotomic oriented pro-p groups. These provide brand new examples of pro-p groups that do not occur as maximal pro-p…

We introduce the notion of the partial group algebra with projections and relations and show that this C*-algebra is a partial crossed product. Examples of partial group algebras with projections and relations are the Cuntz-Krieger algebras…

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$…

The subgroup commutativity degree of a group G has been defined in [6] as the probability that two subgroups of G commute, or equivalently that the product of two subgroups is again a subgroup. Problem 4.3 of [6] asks whether there exist…

The motivating question of this paper is roughly the following: given a group scheme $G$ over $\mathbb{Z}_p$, $p$ prime, with semisimple generic fiber $G_{\mathbb{Q}_p}$, how far are open subgroups of $G(\mathbb{Z}_p)$ from subgroups of the…

Let $p$ be a prime. An oriented pro-$p$ group $(G,\theta)$ is said to have the Bogomolov--Positselski property if it is Kummerian and if $I_\theta(G)$ is a free pro-$p$ group. In this paper, we provide a new criterion for an oriented…

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…

A finitely generated virtually free pro-p group with finite centralizers of its torsion elements is the free pro-p product of finite p-groups and a free pro-p factor.

Assume that $p>2$, and let $\mathscr{O}_K$ be a $p$-adic discrete valuation ring with residue field admitting a finite $p$-basis, and let $R$ be a formally smooth formally finite-type $\mathscr{O}_K$-algebra. (Indeed, we allow slightly more…

We describe a connective $K$-theory Borsuk--Ulam/Bourgin--Yang theorem for cyclic groups of order a power of a prime $p$. Consider two finite dimensional complex representations $U$ and $V$ of the cyclic group $Z /p^{k+1}$ of order…

In this paper, we mainly investigate the converse of a well-known theorem proved by P. Hall, and present detailed characterizations under the various assumptions of the existence of some families of Hall subgroups. In particular, we prove…

The purpose of this paper is to introduce a new family of semigroups - the free projection-generated regular $*$-semigroups - and initiate their systematic study. Such a semigroup $PG(P)$ is constructed from a projection algebra $P$, using…