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. ...

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-quasinormal in $K$. We analyze how certain properties of SS-supplemented subgroups influence the structure of finite groups. Our results improve and generalize several recent results.

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...

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\}$.

Let $G$ be a group. A subgroup $H$ of $G$ is called a TI-subgroup if $H\cap H^g=1$ or $H$ for every $g\in G$ and $H$ is called a QTI-subgroup if $C_G\left(x\right)\le N_G\left(H\right)$ for any $1\ne x\in H$. In this paper, a finite group in which every nonabelian maximal is a TI-subgroup (QTI-subgroup) is characterized.

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$.

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 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...

A theorem of Burnside asserts that a finite group $G$ is $p$-nilpotent if for some prime $p$ a Sylow $p$-subgroup of $G$ lies in the center of its normalizer. In this paper, let $G$ be a finite group and $p$ the smallest prime divisor of $\left|G\right|$, the order of $G$. Let $P\in {\mathrm{Syl}}_p\left(G\right)$. As a generalization of Burnside’s theorem, it is shown that if every non-cyclic $p$-subgroup of $G$ is self-normalizing or normal in $G$ then $G$ is solvable. In particular, if $P\ncong \langle a,b|a^{p^{n-1}}=1,b^2=1,b^{-1}ab=a^{1+p^{n-2}}\rangle$, where $n\ge 3$ for $p>2$ and $n\ge 4$ for $p=2$, then $G$ is $p$-nilpotent or $p$-closed. ...