A subgroup $H$ of a finite group $G$ is said to be conjugate-permutable if $H{H}^g=H^{g}H$ for all $g\in G$. More generaly, if we limit the element $g$ to a subgroup $R$ of $G$, then we say that the subgroup $H$ is $R$-conjugate-permutable. By means of the $R$-conjugate-permutable subgroups, we investigate the relationship between the nilpotence of $G$ and the $R$-conjugate-permutability of the Sylow subgroups of $A$ and $B$ under the condition that $G=AB$, where $A$ and $B$ are subgroups of $G$. Some results known in the literature are improved...

Let $\sigma =\{{\sigma }_i:i\in I\}$ be some partition of the set of all primes $\mathbb{P}$, $G$ be a finite group and $\sigma \left(G\right)=\{{\sigma }_i:{\sigma }_i\cap \pi \left(G\right)\ne \varnothing \}$. A set $\mathscr{H}$ of subgroups of $G$ is said to be a complete Hall $\sigma$-set of $G$ if every non-identity member of $\mathscr{H}$ is a Hall ${\sigma }_i$-subgroup of $G$ and $\mathscr{H}$ contains exactly one Hall ${\sigma }_i$-subgroup of $G$ for every ${\sigma }_i\in \sigma \left(G\right)$. $G$ is said to be $\sigma$-full if $G$ possesses a complete Hall $\sigma$-set. A subgroup $H$ of $G$ is $\sigma$-permutable in $G$ if $G$ possesses a complete Hall $\sigma$-set $\mathscr{H}$ such that $H{A}^x$= $A^{x}H$ for all $A\in \mathscr{H}$ and all $x\in G$. A subgroup $H$ of $G$ is $\sigma$-permutably embedded in...

A subgroup $H$ of a finite group $G$ is said to be $ss$-supplemented in $G$ if there exists a subgroup $K$ of $G$ such that $G=HK$ and $H\cap K$ is $s$-permutable in $K$. In this paper, we first give an example to show that the conjecture in A. A. Heliel’s paper (2014) has negative solutions. Next, we prove that a finite group $G$ is solvable if every subgroup of odd prime order of $G$ is $ss$-supplemented in $G$, and that $G$ is solvable if and only if every Sylow subgroup of odd order of $G$ is $ss$-supplemented in $G$. These results...

Suppose that $G$ is a finite group and $H$ is a subgroup of $G$. Subgroup $H$ is said to be weakly $ℳ$-supplemented in $G$ if there exists a subgroup $B$ of $G$ such that (1) $G=HB$, and (2) if $H_1/H_G$ is a maximal subgroup of $H/H_G$, then $H_{1}B=B{H}_1<G$, where $H_G$ is the largest normal subgroup of $G$ contained in $H$. We fix in every noncyclic Sylow subgroup $P$ of $G$ a subgroup $D$ satisfying $1<\left|D\right|<\left|P\right|$ and study the $p$-nilpotency of $G$ under the assumption that every subgroup $H$ of $P$ with $\left|H\right|=\left|D\right|$ is weakly $ℳ$-supplemented in $G$. Some recent results are generalized. ...

Let $N$ be a normal subgroup of a group $G$. The structure of $N$ is given when the $G$-conjugacy class sizes of $N$ is a set of a special kind. In fact, we give the structure of a normal subgroup $N$ under the assumption that the set of $G$-conjugacy class sizes of $N$ is $(p_{1n_1}^{a_{1n_1}},\cdots ,p_{11}^{a_{11}},1)\times \cdots \times (p_{r{n}_r}^{a_{r{n}_r}},\cdots ,p_{r1}^{a_{r1}},1)$, where $r>1$, $n_i>1$ and $p_{ij}$ are distinct primes for $i\in \{1,2,\cdots ,r\}$, $j\in \{1,2,\cdots ,n_i\}$.

A group $G$ is said to be a $𝒞$-group if for every divisor $d$ of the order of $G$, there exists a subgroup $H$ of $G$ of order $d$ such that $H$ is normal or abnormal in $G$. We give a complete classification of those groups which are not $𝒞$-groups but all of whose proper subgroups are $𝒞$-groups.

For a finite group $G$ and a fixed Sylow $p$-subgroup $P$ of $G$, Ballester-Bolinches and Guo proved in 2000 that $G$ is $p$-nilpotent if every element of $P\cap G^{\text{'}}$ with order $p$ lies in the center of $N_G\left(P\right)$ and when $p=2$, either every element of $P\cap G^{\text{'}}$ with order $4$ lies in the center of $N_G\left(P\right)$ or $P$ is quaternion-free and $N_G\left(P\right)$ is $2$-nilpotent. Asaad introduced weakly pronormal subgroup of $G$ in 2014 and proved that $G$ is $p$-nilpotent if every element of $P$ with order $p$ is weakly pronormal in $G$ and when $p=2$, every element of $P$ with...

Let A be a multiplicative subgroup of $\mathbb{Z}{*}_p$. Define the k-fold sumset of A to be $kA=x_1+...+x_k:x_i\in A,1\le i\le k$. We show that $6A\supseteq \mathbb{Z}{*}_p$ for $\left|A\right|>p^{11/23+ϵ}$. In addition, we extend a result of Shkredov to show that ${\left|2A\right|\gg \left|A\right|}^{8/5-ϵ}$ for $\left|A\right|\ll p^{5/9}$.

A group $G$ has all of its subgroups normal-by-finite if $H/H_G$ is finite for all subgroups $H$ of $G$. The Tarski-groups provide examples of $p$-groups ($p$ a “large” prime) of nonlocally finite groups in which every subgroup is normal-by-finite. The aim of this paper is to prove that a $2$-group with every subgroup normal-by-finite is locally finite. We also prove that if $|H/H_G|\le 2$ for every subgroup $H$ of $G$, then $G$ contains an Abelian subgroup of index at most $8$.