Related papers: $p$-nilpotency criteria for some verbal subgroups

Let $G$ be a finite soluble group and $G^{(k)}$ the $k$th term of the derived series of $G$. We prove that $G^{(k)}$ is nilpotent if and only if $|ab|=|a||b|$ for any $\delta_k$-values $a,b\in G$ of coprime orders. In the course of the…

The word $w=[x_{i_1},x_{i_2},\dots,x_{i_k}]$ is a simple commutator word if $k\geq 2, i_1\neq i_2$ and $i_j\in \{1,\dots,m\}$, for some $m>1$. For a finite group $G$, we prove that if $i_{1} \neq i_j$ for every $j\neq 1$, then the verbal…

We prove that the $k$th term of the lower central series of a finite group $G$ is nilpotent if and only if $|ab|=|a||b|$ for any $\gamma_k$-commutators $a,b\in G$ of coprime orders.

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…

In Part I it was shown that if G is a p-group of class k, generated by elements of orders 1<p^{alpha_1} <= ... <= p^{alpha_r}, then a necessary condition for the capability of G is that r>1 and alpha_r <= alpha_{r-1} + [(k-1)/(p-1)]. It was…

We prove that if $p$ is an odd prime, $G$ is a solvable group, and the average value of the irreducible characters of $G$ whose degrees are not divisible by $p$ is strictly less than $2(p+1)/(p+3)$, then $G$ is $p$-nilpotent. We show that…

Given a group word $w$ in $k$ variables, a finite group $G$ and $g\in G$, we consider the number $N_{w,G}(g)$ of $k$-tuples $g_1,\dots ,g_k$ of elements of $G$ such that $w(g_1,\dots ,g_k)=g$. In this work we study the functions $N_{w,G}$…

In this note we show that if $p$ is an odd prime and $G$ is a powerful $p$-group with $N\leq G^{p}$ and $N$ normal in $G$, then $N$ is powerfully nilpotent. An analogous result is proved for $p=2$ when $N\leq G^{4}$.

Let $G$ be a finite group and $p$ a fixed prime divisor of $|G|$. Combining the nilpotence, the normality and the order of groups together, we prove that if every maximal subgroup of $G$ is nilpotent or normal or has $p'$-order, then (1)…

We deal with the following conjecture. If w is a group word and G is a finite group in which any nilpotent subgroup generated by w-values has exponent dividing e, then the exponent of the verbal subgroup w(G) is bounded in terms of e and w…

Let $p$ be a prime and let $G$ be a finite group such that the smallest prime that divides $|G|$ is $p$. We find sharp bounds, depending on $p$, for the commuting probability and the average character degree to guarantee that $G$ is…

Let $p$ be a prime number and suppose that every maximal subgroup of a finite group is either $p$-nilpotent or has prime index. Such group need not be $p$-solvable, and we study its structure by proving that only one nonabelian simple group…

Thompson's theorem stated that a finite group $G$ is solvable if and only if every $2$-generated subgroup of $G$ is solvable. In this paper, we prove some new criteria for both solvability and nilpotency of a finite group using certain…

Let $w$ be a word in $k$ variables. For a finite nilpotent group $G$, a conjecture of Amit states that $N_w(1) \ge |G|^{k-1}$, where $N_w(1)$ is the number of $k$-tuples $(g_1,...,g_k)\in G^{(k)}$ such that $w(g_1,...,g_k)=1$. Currently,…

We show that if $w$ is a multilinear commutator word and $G$ a finite group in which every metanilpotent subgroup generated by $w$-values is of rank at most $r$, then the rank of the verbal subgroup $w(G)$ is bounded in terms of $r$ and $w$…

Let $G$ be a finite $p$-group acted on faithfully by a group $A$. We prove that if $A$ fixes every element of order dividing $p$ ($4$ if $p=2$) in a specified subgroup of $G$, then both $A$ and $[G,A]$ behave regularly, that is the elements…

Let $G$ be a finite group and $N(G)$ be the set of conjugacy class sizes of $G$. For a prime $p$, let $|G||_p$ be the highest $p$-power dividing some element of $N(G)$. and define $|G|| = {\Pi}_{p\in {\pi}(G)}|G||_p$. $G$ is said to be an…

A finite group $G$ is called {\it $p^i$-central of height $k$} if every element of order $p^i$ of $G$ is contained in the $k^{th}$-term $\zeta_k(G)$ of the ascending central series of $G$. If $p$ is odd such a group has to be $p$-nilpotent…

Let $G$ be a finite group and let $k \geq 2$. We prove that the coprime subgroup $\gamma_k^*(G)$ is nilpotent if and only if $|xy|=|x||y|$ for any $\gamma_k^*$-commutators $x,y \in G$ of coprime orders (Theorem A). Moreover, we show that…

It is proved that the derived subgroup of a finite group is nilpotent if and only if $|ab|\ge |a||b|$ for all primary commutators $a$ and $b$ of coprime orders.