Related papers: Mild Pro-$p$ Groups and Ordered Monoids

Translating results due to J. Labute into group cohomological language, A. Schmidt proved that a finitely presented pro-p-group G is mild and hence of cohomological dimension cd G=2 if $H^1(G,\F_p)=U\oplus V$ as $\F_p$-vector space and the…

Let $p$ be a prime. We characterize the oriented right-angled Artin pro-$p$ groups whose $\mathbb{F}_p$-cohomology algebra yields no essential $n$-fold Massey products for every $n>2$, in terms of the associated digraph. Moreover, we show…

We introduce a criterion on the presentation of finitely presented pro-$p$ groups which allows us to compute their cohomology groups and infer quotients of mild groups of cohomological dimension strictly larger than two, from (non-free)…

Let $p$ be a prime, and $\mathbb{F}_p$ the field with $p$ elements. We prove that if $G$ is a mild pro-$p$ group with quadratic $\mathbb{F}_p$-cohomology algebra $H^\bullet(G,\mathbb{F}_p)$, then the algebras $H^\bullet(G,\mathbb{F}_p)$ and…

Let $p$ be a prime. The right-angled Artin pro-$p$ group $G_{\Gamma}$ associated to a fnite simplicial graph $\Gamma$ is the pro-$p$ completion of the right-angled Artin group associated to $\Gamma$. We prove that the following assertions…

Let p be an odd prime and S a finite set of primes = 1 mod p. We give an effective criterion for determining when the Galois group G=G_S(p) of the maximal p-extension of Q unramified outside of S is mild when |S|=4 and the cup product…

For any prime $p$ and group $G$, denote the pro-$p$ completion of $G$ by $\hat{G}^p$. Let $\mathcal{C}$ be the class of all groups $G$ such that, for each natural number $n$ and prime number $p$, $H^n(\hat{G^p},\mathbb Z/p)\cong H^n(G,…

Let $G$ be a finite group, $p$ a prime and $P$ a Sylow $p$-subgroup of $G$. In this note we give a cohomological criterion for the $p$-solvability of $G$ depending on the cohomology in degree $1$ with coefficients in $\mathbb F_p$ of both…

In this series of three papers, we introduce and study cyclotomic pairs and smooth profinite groups. They are a geometric axiomatisation of Kummer theory for fields, with coefficients $p$-primary roots of unity, for a prime $p$. These…

Let $k$ be an imaginary quadratic field and $p$ an odd prime number such that the $p$-rank of the class group of $k$ is one. Let $S$ be a finite set of places of $k$ distinct from $p$-adic places. We give sufficient conditions for the…

Let p be a prime. We study pro-p groups of p-absolute Galois type, as defined by Lam-Liu-Sharifi-Wake-Wang. We prove that the pro-p completion of the right-angled Artin group associated to a chordal simplicial graph is of p-absolute Galois…

Let $p$ be a prime. A pro-$p$ group $G$ is said to be 1-smooth if it can be endowed with a continuous representation $\theta\colon G\to\mathrm{GL}_1(\mathbb{Z}_p)$ such that every open subgroup $H$ of $G$, together with the restriction…

We give three necessary and sufficient conditions for a pro-p group to be p-adic analytic. We show that a noetherian pro-p group having finite chain length has a finite rank and conversely. We further deduce that a noetherian pro-p group…

Let a and b be non-zero rational numbers that are multiplicatively independent. We study the natural density of the set of primes p for which the subgroup of the multiplicative group of the finite field with p elements generated by (a\mod…

We consider the p-Zassenhaus filtration (G_n) of a profinite group G. Suppose that G=S/N for a free profinite group S and a normal subgroup N of S contained in S_n. Under a cohomological assumption on the n-fold Massey products (which holds…

We define and study a pro-$p$ version of Sidki's weak commutativity construction. This is the pro-$p$ group $\mathfrak{X}_p(G)$ generated by two copies $G$ and $G^{\psi}$ of a pro-$p$ group, subject to the defining relators $[g,g^{\psi}]$…

We prove that the property of being cyclic subgroup separable, that is having all cyclic subgroups closed in the profinite topology, is preserved under forming graph products. Furthermore, we develop the tools to study the analogous…

Let G be a finite group. The stable module category of G has been applied extensively in group representation theory. In particular, it has been used to great effect that it is a triangulated category which is compactly generated. Let H be…

We show that the class $\mathscr{B}$, of discrete groups which satisfy the conclusion of Popa's Cocycle Superrigidity Theorem for Bernoulli actions, is invariant under measure equivalence. We generalize this to the setting of discrete…

In this paper we measure how efficiently a finite simple group $G$ is generated by its elements of order $p$, where $p$ is a fixed prime. This measure, known as the $p$-width of $G$, is the minimal $k\in \mathbb{N}$ such that any $g\in G$…