Let $H$ be a subgroup of a finite group $G$. We say that $H$ satisfies the $\Pi$-property in $G$ if for any chief factor $L/K$ of $G$, $|G/K:N_{G/K}(HK/K\cap L/K)|$ is a $\pi (HK/K\cap L/K)$-number. We study the influence of some $p$-subgroups of $G$ satisfying the $\Pi$-property on the structure of $G$, and generalize some known results.

Let $H$ be a subgroup of a finite group $G$. We say that $H$ satisfies the $\Pi$-property in $G$ if for any chief factor $L/K$ of $G$, $|G/K:N_{G/K}(HK/K\cap L/K)|$ is a $\pi (HK/K\cap L/K)$-number. We obtain some criteria for the $p$-supersolubility or $p$-nilpotency of a finite group and extend some known results by concerning some subgroups that satisfy the $\Pi$-property.

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

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

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

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

The Golomb space ${\mathbb{N}}_{\tau }$ is the set $\mathbb{N}$ of positive integers endowed with the topology $\tau$ generated by the base consisting of arithmetic progressions $\{a+bn:n\ge 0\}$ with coprime $a,b$. We prove that the Golomb space ${\mathbb{N}}_{\tau }$ has continuum many continuous self-maps, contains a countable disjoint family of infinite closed connected subsets, the set $\Pi$ of prime numbers is a dense metrizable subspace of ${\mathbb{N}}_{\tau }$, and each homeomorphism $h$ of ${\mathbb{N}}_{\tau }$ has the following properties: $h\left(1\right)=1$, $h\left(\Pi \right)=\Pi$, ${\Pi }_{h\left(x\right)}=h\left({\Pi }_x\right)$, and $h\left(x^{\mathbb{N}}\right)=h{\left(x\right)}^{\mathbb{N}}$ for all $x\in \mathbb{N}$. Here $x^{\mathbb{N}}:=\{x^n:n\in \mathbb{N}\}$ and ${\Pi }_x$ denotes the set of...

A nonincreasing sequence $\pi =(d_1,...,d_n)$ of nonnegative integers is a graphic sequence if it is realizable by a simple graph $G$ on $n$ vertices. In this case, $G$ is referred to as a realization of $\pi$. Given two graphs $G_1$ and $G_2$, A. Busch et al. (2014) introduced the potential-Ramsey number of $G_1$ and $G_2$, denoted by $r_{\mathrm{pot}}(G_1,G_2)$, as the smallest nonnegative integer $m$ such that for every $m$-term graphic sequence $\pi$, there is a realization $G$ of $\pi$ with $G_1\subseteq G$ or with $G_2\subseteq \overline{G}$, where $\overline{G}$ is the complement of $G$. For $t\ge 2$ and $0\le k\le \lfloor \frac{t}{2}\rfloor$, let $K_t^{-k}$ be the graph...