Related papers: Quasi-powerful $p$-groups

A Bloch-Kato pro-p group G is a pro-p group with the property that the F_p-cohomology ring of every closed subgroup of G is quadratic. It is shown that either such a pro-p group G contains no closed free pro-p groups of infinite rank, or…

Let $G$ be a finite almost simple group with socle $G_0$. A (nontrivial) factorization of $G$ is an expression of the form $G=HK$, where the factors $H$ and $K$ are core-free subgroups. There is an extensive literature on factorizations of…

For $G$ a finite group, let $d_2(G)$ denote the proportion of triples $(x, y, z) \in G^3$ such that $[x, y, z] = 1$. We determine the structure of finite groups $G$ such that $d_2(G)$ is bounded away from zero: if $d_2(G) \geq \epsilon >…

We combine results about Whitehead groups of finite groups with results about genetic bases of finite $p$-groups to compute the Whitehead groups of some metacyclic $p$-groups. Let $C_{p^n}$ denote a cyclic group of order $p^n$ for $p$ an…

In this article we develop the theory of residually finite rationally $p$ (RFR$p$) groups, where $p$ is a prime. We first prove a series of results about the structure of finitely generated RFR$p$ groups (either for a single prime $p$, or…

We construct, for the first time, various types of specific non-special finite $p$-groups having abelian automorphism group. More specifically, we construct groups $G$ with abelian automorphism group such that $\gamma_2(G) < \mathrm{Z}(G) <…

We characterize finite $p$-groups $G$ of order up to $p^7$ for which the group of central automorphisms fixing the center element-wise is of minimum possibe order.

We say that a group $G$ is almost Engel if for every $g\in G$ there is a finite set ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$, that is, for every…

In this paper, we address the following question: when is a finite $p$-group $G$ self-similar, i.e. when can $G$ be faithfully represented as a self-similar group of automorphisms of the $p$-adic tree? We show that, if $G$ is a self-similar…

Let $p$ be an odd prime. We construct a $p$-group $P$ of nilpotency class two, rank seven and exponent $p$, such that $\mathrm{Aut}(P)$ induces $N_{\mathrm{GL}(7,p)}(G_2(p)) = Z(\mathrm{GL}(7,p)) G_2(p)$ on the Frattini quotient…

Let $ H $ be a subgroup of a finite group $ G $. We say that $ H $ satisfies $ \mathscr L $-$ \Pi $-property in $ G $ if $ | G / K : N _{G / K} (HK/K)| $ is a $ \pi (HK/K) $-number for all maximal $ G $-invariant subgroup $ K $ of $ H^{G}…

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…

We consider a generalisation of the Basilica group to all odd primes: the $p$-Basilica groups acting on the $p$-adic tree. We show that the $p$-Basilica groups have the $p$-congruence subgroup property but not the congruence subgroup…

We prove lower bounds for the number of primes $p \leq N + b$ such that $p-b$ is divisible by $2^{k(N)}$ and has at most $k$ odd prime factors ($k \geq 2$), assuming $2^{k(N)} \leq N^\theta$ for some $\theta > 0$ depending on $k$. The proof…

We obtain bounds for the size of the Schur multiplier of finite $p$-groups and finite groups, which improve all existing bounds. Moreover, we obtain bounds for the size of the second cohomology group $H^2(G,\mathbb{Z}/p\mathbb{Z})$ of a…

Let N and p be two prime numbers > 3 such that p divides N-1. We estimate the p-rank of the class group of Q(N^(1/p)) in terms of the discrete logarithm, with values un F_p, of certain units. Using the Gross--Koblitz formula and identities…

Let $F_{q}$ be any finite field of characteristic $p>0$ having $q = p^{n}$ elements. In this paper, we have obtained the complete structure of unit groups of group algebras $F_{q}[QD_{2^k}]$, for $k = 4$ and $5$, for any prime $p>0$, where…

We present a classification of finite $p$-groups $G$ with $\gamma_2(G)$, the commutator subgroup of $G$, of order $p^4$ and exponent $p$ such that not all elements of $\gamma_2(G)$ are commutators.

Let $G$ be a finite group, let $x \in G$, and let $p$ be a prime. We prove that the commutator $[x,g]$ is a $p$-element for every $g \in G$ if and only if $x$ is central modulo $\mathbf{O}_p(G)$, where $\mathbf{O}_p(G)$ denotes the largest…

We examine $p$-groups with the property that every non-normal subgroup has a normalizer which is a maximal subgroup. In particular we show that for such a $p$-group $G$, when $p=2$, the center of $G$ has index at most 16 and when $p$ is odd…