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

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

Given an integer $n\ge 3$, let $u_1,...,u_n$ be pairwise coprime integers $\ge 2$, $𝒟$ a family of nonempty proper subsets of $\{1,...,n\}$ with “enough” elements, and $\epsilon$ a function $𝒟\to \{\pm 1\}$. Does there exist at least one prime $q$ such that $q$ divides ${\prod }_{i\in I}{u}_i-\epsilon \left(I\right)$ for some $I\in 𝒟$, but it does not divide $u_1\cdots u_n$? We answer this question in the positive when the $u_i$ are prime powers and $\epsilon$ and $𝒟$ are subjected to certain restrictions. We use the result to prove that, if ${\epsilon }_0\in \{\pm 1\}$ and $A$ is a set of three or more primes that contains all prime divisors of any...

Let $G$ be a group. If every nontrivial subgroup of $G$ has a proper supplement, then $G$ is called an $aS$-group. We study some properties of $aS$-groups. For instance, it is shown that a nilpotent group $G$ is an $aS$-group if and only if $G$ is a subdirect product of cyclic groups of prime orders. We prove that if $G$ is an $aS$-group which satisfies the descending chain condition on subgroups, then $G$ is finite. Among other results, we characterize all abelian groups for which every nontrivial quotient group...

Let $G$ be a group and $\omega \left(G\right)$ be the set of element orders of $G$. Let $k\in \omega \left(G\right)$ and $m_k\left(G\right)$ be the number of elements of order $k$ in $G$. Let nse$\left(G\right)=\{m_k\left(G\right):k\in \omega \left(G\right)\}$. Assume $r$ is a prime number and let $G$ be a group such that nse$\left(G\right)=$ nse$\left(S_r\right)$, where $S_r$ is the symmetric group of degree $r$. In this paper we prove that $G\cong S_r$, if $r$ divides the order of $G$ and $r^2$ does not divide it. To get the conclusion we make use of some well-known results on the prime graphs of finite simple groups and their components.

It is proved that real functions on $ℝ$ which can be represented as the difference of two semiconvex functions with a general modulus (or of two lower $C^1$-functions, or of two strongly paraconvex functions) coincide with semismooth functions on $ℝ$ (i.e. those locally Lipschitz functions on $ℝ$ for which $f_{+}^{\text{'}}\left(x\right)={lim}_{t\to x+}{f}_{+}^{\text{'}}\left(t\right)$ and $f_{-}^{\text{'}}\left(x\right)={lim}_{t\to x-}{f}_{-}^{\text{'}}\left(t\right)$ for each $x$). Further, for each modulus $\omega$, we characterize the class $DS{C}_{\omega }$ of functions on $ℝ$ which can be written as $f=g-h$, where $g$ and $h$ are semiconvex with modulus $C\omega$ (for some $C>0$) using a new...

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

In this paper, we examine a natural question concerning the divisors of the polynomial $x^n-1$: “How often does $x^n-1$ have a divisor of every degree between $1$ and $n$?” In a previous paper, we considered the situation when $x^n-1$ is factored in $\mathbb{Z}\left[x\right]$. In this paper, we replace $\mathbb{Z}\left[x\right]$ with ${𝔽}_p\left[x\right]$, where $p$ is an arbitrary-but-fixed prime. We also consider those $n$ where this condition holds for all $p$.

Let $\Omega$ be a bounded domain of class $C^2$ in $ℝ$N and let $K$ be a compact subset of $\partial \Omega$. Assume that $q\ge (N+1)/\left(N-1\right)$ and denote by $U_K$ the maximal solution of $-\Delta u+u^q=0$ in $\Omega$ which vanishes on $\partial \Omega \setminus K$. We obtain sharp upper and lower estimates for $U_K$ in terms of the Bessel capacity $C_{2/q,q^{\text{'}}}$ and prove that $U_K$ is $\sigma$-moderate. In addition we describe the precise asymptotic behavior of $U_K$ at points $\sigma \in K$, which depends on the “density” of $K$ at $\sigma$, measured in terms of the capacity $C_{2/q,q^{\text{'}}}$.

We consider Weil sums of binomials of the form $W_{F,d}\left(a\right)={\sum }_{x\in F}\psi (x^d-ax)$, where F is a finite field, ψ: F → ℂ is the canonical additive character, $gcd(d,|F^{\times }\left|\right)=1$, and $a\in F^{\times }$. If we fix F and d, and examine the values of $W_{F,d}\left(a\right)$ as a runs through $F^{\times }$, we always obtain at least three distinct values unless d is degenerate (a power of the characteristic of F modulo $|F^{\times }|$). Choices of F and d for which we obtain only three values are quite rare and desirable in a wide variety of applications. We show that if F is a field of order 3ⁿ with n...

We consider $N$, the number of solutions $(x,y,u,v)$ to the equation ${(-1)}^{u}r{a}^x+{(-1)}^{v}s{b}^y=c$ in nonnegative integers $x,y$ and integers $u,v\in \{0,1\}$, for given integers $a\>1$, $b\>1$, $c\>0$, $r\>0$ and $s\>0$. When $gcd(ra,sb)=1$, we show that $N\le 3$ except for a finite number of cases all of which satisfy $max(a,b,r,s,x,y)\<2·{10}^{15}$ for each solution; when $gcd(a,b)\>1$, we show that $N\le 3$ except for three infinite families of exceptional cases. We find several different ways to generate an infinite number of cases giving $N=3$ solutions.