Related papers: Normal Subgroups of Powerful $p$ -groups

In this note we show that for any powerful $p$-group $G$, the subgroup $\Omega_{i}(G^{p^{j}})$ is powerfully nilpotent for all $i,j\geq1$ when $p$ is an odd prime, and $i\geq1$, $j\geq2$ when $p=2$. We provide an example to show why this…

Let G be a finite group, p a fixed prime and P a Sylow p-subgroup of G. In this short note we prove that if p is odd, G is p-nilpotent if and only if P controls fusion of cyclic groups of order p. For the case p=2, we show that G is…

We introduce a special class of powerful $p$-groups that we call powerfully nilpotent groups that are finite $p$-groups that possess a central series of a special kind. To these we can attach the notion of a powerful nilpotence class that…

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…

In this paper we investigate the structure of finite $p$-groups with the property that every subgroup of index $p^i$ is powerful for some $i$. For odd primes $p$, we show that under certain conditions these groups must be potent. Then,…

In this paper we continue the study of powerfully nilpotent groups. These are powerful $p$-groups possessing a central series of a special kind. To each such group one can attach a powerful nilpotency class that leads naturally to the…

Let $G$ be a finite group, let $p$ be a prime and let $w$ be a group-word. We say that $G$ satisfies $P(w,p)$ if the prime $p$ divides the order of $xy$ for every $w$-value $x$ in $G$ of $p'$-order and for every non-trivial $w$-value $y$ in…

A p-group is called powerful if every commutator is a product of pth powers when p is odd and a product of fourth powers when p=2. In the group algebra of a group G of p-power order over a finite field of characteristic p, the group of…

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 consider a finite group $G$ with a normal subgroup $N$ so that all elements of $G \setminus N$ have prime power order. We prove that if there is a prime $p$ so that all the elements in $G \setminus N$ have $p$-power order, then either…

The greatest power of a prime $p$ dividing the natural number $n$ will be denoted by $n_p$. Let $Ind_G(g)=|G:C_G(g)|$. Suppose that $G$ is a finite group and $p$ is a prime. We prove that if there exists an integer $\alpha>0$ such that…

Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms. For any fixed prime divisor $p$ of $|G|$, we provide a complete characterization of the structure of a group $G$ in which every maximal $A$-invariant…

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…

Let $G$ be a nilpotent group and $a\in G$. Let $a^G=\{g^{-1}ag\mid g\in G\}$ be the conjugacy class of $a$ in $G$. Assume that $a^G$ and $b^G$ are conjugacy classes of $G$ with the property that $|a^G|=|b^G|=p$, where $p$ is an odd prime…

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…

Let $p$ be an odd prime and let $J_o(X)$, $J_r(X)$ and $J_e(X)$ denote the three different versions of Thompson subgroups for a $p$-group $X$. In this article, we first prove an extension of Glauberman's replacement theorem. Secondly, we…

Let $G$ be a finite group and $n_p(G)$ the number of Sylow $p$-subgroups of $G$. In this paper, we prove if $n_p(G)<p^2$ then almost all numbers $n_p(G)$ are a power of a prime.

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

Let $G$ be an odd order nilpotent group with class 2 and $e$ denotes the exponent of its commutator subgroup. Let $e=p_1^{r_1}p_2^{r_2}... p_s^{r_s}$, where $p_i$'s are odd primes and $r_i$'s are non-negative integers. Then there are at…

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…