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

We show that a finite nonabelian characteristically simple group $G$ satisfies $n=\left|\pi \right(G\left)\right|+2$ if and only if $G\cong A_5$, where $n$ is the number of isomorphism classes of derived subgroups of $G$ and $\pi \left(G\right)$ is the set of prime divisors of the group $G$. Also, we give a negative answer to a question raised in M. Zarrin (2014).

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.

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.

Let $k$ be a field of characteristic $p$. Let $G$ be a finite group of order divisible by $p$ and $P$ a $p$-Sylow subgroup of $G$. We describe the kernel of the restriction homomorphism $T\left(G\right)\to T\left(P\right)$, for $T\left(-\right)$ the group of endotrivial representations. Our description involves functions $G\to k^{\times }$ that we call weak $P$-homomorphisms. These are generalizations to possibly non-normal $P\le G$ of the classical homomorphisms $G/P\to k^{\times }$ appearing in the normal case.

Let $K_{s,t}$ be the complete bipartite graph with partite sets $\{x_1,...,x_s\}$ and $\{y_1,...,y_t\}$. A split bipartite-graph on $(s+s^{\text{'}})+(t+t^{\text{'}})$ vertices, denoted by ${\mathrm{SB}}_{s+s^{\text{'}},t+t^{\text{'}}}$, is the graph obtained from $K_{s,t}$ by adding $s^{\text{'}}+t^{\text{'}}$ new vertices $x_{s+1},...,x_{s+s^{\text{'}}}$, $y_{t+1},...,y_{t+t^{\text{'}}}$ such that each of $x_{s+1},...,x_{s+s^{\text{'}}}$ is adjacent to each of $y_1,...,y_t$ and each of $y_{t+1},...,y_{t+t^{\text{'}}}$ is adjacent to each of $x_1,...,x_s$. Let $A$ and $B$ be nonincreasing lists of nonnegative integers, having lengths $m$ and $n$, respectively. The pair $(A;B)$ is potentially ${\mathrm{SB}}_{s+s^{\text{'}},t+t^{\text{'}}}$-bigraphic if there is a simple bipartite graph containing ${\mathrm{SB}}_{s+s^{\text{'}},t+t^{\text{'}}}$ (with $s+s^{\text{'}}$ vertices $x_1,...,x_{s+s^{\text{'}}}$ in the part of size $m$...

We study the group structure in terms of the number of Sylow $p$-subgroups, which is denoted by $n_p\left(G\right)$. The first part is on the group structure of finite group $G$ such that $n_p\left(G\right)=n_p(G/N)$, where $N$ is a normal subgroup of $G$. The second part is on the average Sylow number $\mathrm{asn}\left(G\right)$ and we prove that if $G$ is a finite nonsolvable group with $\mathrm{asn}\left(G\right)<39/4$ and $\mathrm{asn}\left(G\right)\ne 29/4$, then $G/F\left(G\right)\cong A_5$, where $F\left(G\right)$ is the Fitting subgroup of $G$. In the third part, we study the nonsolvable group with small sum of Sylow numbers.

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

We prove that if the average number of Sylow subgroups of a finite group is less than $\frac{41}{5}$ and not equal to $\frac{29}{4}$, then $G$ is solvable or $G/F\left(G\right)\cong A_5$. In particular, if the average number of Sylow subgroups of a finite group is $\frac{29}{4}$, then $G/N\cong A_5$, where $N$ is the largest normal solvable subgroup of $G$. This generalizes an earlier result by Moretó et al.

Let d be a positive integer and μ a generalized Cantor measure satisfying $\mu ={\sum }_{j=1}^m{a}_j\mu \circ S_j^{-1}$, where $0<a_j<1$, ${\sum }_{j=1}^m{a}_j=1$, $S_j=\rho R+b_j$ with 0 < ρ < 1 and R an orthogonal transformation of ${ℝ}^d$. Then ⎧1 < p ≤ 2 ⇒ ⎨$su{p}_{r>0}{r}^{d(1/{\alpha }^{\text{'}}-1/p^{\text{'}})}({\int }_{J_x^r}{\left|\mu ̂\left(y\right)\right|}^{p^{\text{'}}}{dy)}^{1/p^{\text{'}}}\le D₁{\rho }^{-d/{\alpha }^{\text{'}}}$, $x\in {ℝ}^d$, ⎩ p = 2 ⇒ infr≥1 rd(1/α’-1/2) (∫J₀r|μ̂(y)|² dy)1/2 ≥ D₂ρd/α’$,$where $J_x^r={\prod }_{i=1}^d(x_i-r/2,x_i+r/2)$, α’ is defined by ${\rho }^{d/{\alpha }^{\text{'}}}={\left({\sum }_{j=1}^m{a}_j^p\right)}^{1/p}$ and the constants D₁ and D₂ depend only on d and p.

In this paper, we study the structure of polycyclic groups admitting an automorphism of order four on the basis of Neumann’s result, and prove that if $\alpha$ is an automorphism of order four of a polycyclic group $G$ and the map $\varphi :G\to G$ defined by $g^{\varphi }=[g,\alpha ]$ is surjective, then $G$ contains a characteristic subgroup $H$ of finite index such that the second derived subgroup $H^{\text{'}\text{'}}$ is included in the centre of $H$ and $C_H\left({\alpha }^2\right)$ is abelian, both $C_G\left({\alpha }^2\right)$ and $G/[G,{\alpha }^2]$ are abelian-by-finite. These results extend recent and classical results in...