Let $𝒱$ be a fixed algebraic variety defined by $m$ polynomials in $n$ variables with integer coefficients. We show that there exists a constant $C\left(𝒱\right)$ such that for almost all primes $p$ for all but at most $C\left(𝒱\right)$ points on the reduction of $𝒱$ modulo $p$ at least one of the components has a large multiplicative order. This generalises several previous results and is a step towards a conjecture of B. Poonen.

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 finite group, and let $N\left(G\right)$ be the set of conjugacy class sizes of $G$. By Thompson’s conjecture, if $L$ is a finite non-abelian simple group, $G$ is a finite group with a trivial center, and $N\left(G\right)=N\left(L\right)$, then $L$ and $G$ are isomorphic. Recently, Chen et al. contributed interestingly to Thompson’s conjecture under a weak condition. They only used the group order and one or two special conjugacy class sizes of simple groups and characterized successfully sporadic simple groups (see Li’s PhD dissertation)....

It is well known that getting the estimate of integral points in right-angled simplices is equivalent to getting the estimate of Dickman-De Bruijn function $\psi (x,y)$ which is the number of positive integers $\le x$ and free of prime factors $>y$. Motivating from the Yau Geometry Conjecture, the third author formulated the Number Theoretic Conjecture which gives a sharp polynomial upper estimate that counts the number of positive integral points in n-dimensional ($n\ge 3$) real right-angled simplices. In this...

For a finite group $G$ denote by $N\left(G\right)$ the set of conjugacy class sizes of $G$. In 1980s, J. G. Thompson posed the following conjecture: If $L$ is a finite nonabelian simple group, $G$ is a finite group with trivial center and $N\left(G\right)=N\left(L\right)$, then $G\cong L$. We prove this conjecture for an infinite class of simple groups. Let $p$ be an odd prime. We show that every finite group $G$ with the property $Z\left(G\right)=1$ and $N\left(G\right)=N\left(A_i\right)$ is necessarily isomorphic to $A_i$, where $i\in \{2p,2p+1\}$.

Let $G$ be a finite group and let $N\left(G\right)$ denote the set of conjugacy class sizes of $G$. Thompson’s conjecture states that if $G$ is a centerless group and $S$ is a non-abelian simple group satisfying $N\left(G\right)=N\left(S\right)$, then $G\cong S$. In this paper, we investigate a variation of this conjecture for some symmetric groups under a weaker assumption. In particular, it is shown that $G\cong \mathrm{Sym}(p+1)$ if and only if $\left|G\right|=(p+1)!$ and $G$ has a special conjugacy class of size $(p+1)!/p$, where $p>5$ is a prime number. Consequently, if $G$ is a centerless group with $N\left(G\right)=N\left(\mathrm{Sym}\right(p+1\left)\right)$, then...

We show a $p$-parity result in a $D_{2p^n}$-extension of number fields $L/K$ ($p\ge 5$) for the twist $1\oplus \eta \oplus \tau$: $W(E/K,1\oplus \eta \oplus \tau )={(-1)}^{〈1\oplus \eta \oplus \tau ,X_p(E/L)〉}$, where $E$ is an elliptic curve over $K$, $\eta$ and $\tau$ are respectively the quadratic character and an irreductible representation of degree $2$ of $\mathrm{Gal}(L/K)=D_{2p^n}$, and $X_p(E/L)$ is the $p$-Selmer group. The main novelty is that we use a congruence result between ${\epsilon }_0$-factors (due to Deligne) for the determination of local root numbers in bad cases (places of additive reduction above 2 and 3). We also give applications to the $p$-parity conjecture...

Let $q\ge 2$ and denote by $s_q$ the sum-of-digits function in base $q$. For $j=0,1,\cdots ,q-1$ consider $$\#\{0\le n\<N:s_q\left(2n\right)\equiv j(modq)\}.$$ In 1983, F. M. Dekking conjectured that this quantity is greater than $N/q$ and, respectively, less than $N/q$ for infinitely many $N$, thereby claiming an absence of a drift (or Newman) phenomenon. In this paper we prove his conjecture.

If $K$ is the splitting field of the polynomial $f\left(x\right)=x^4+p{x}^2+p$ and $p$ is a rational prime of the form $4+n^2$, we give appropriate generators of $K$ to obtain the explicit factorization of the ideal $q{𝒪}_K$, where $q$ is a positive rational prime. For this, we calculate the index of these generators and integral basis of certain prime ideals.

Let $r(G_1,G_2)$ be the Ramsey number of the two graphs $G_1$ and $G_2$. For $n_1\ge n_2\ge 1$ let $S(n_1,n_2)$ be the double star given by $V\left(S(n_1,n_2)\right)=\{v_0,v_1,...,v_{n_1},w_0$, $w_1,...,w_{n_2}\}$ and $E\left(S(n_1,n_2)\right)=\{v_0{v}_1,...,v_0{v}_{n_1},v_0{w}_0,w_0{w}_1,...,w_0{w}_{n_2}\}$. We determine $r(K_{1,m-1},$ $S(n_1,n_2))$ under certain conditions. For $n\ge 6$ let $T_n^3=S(n-5,3)$, $T_n^{\text{'}\text{'}}=(V,E_2)$ and $T_n^{\text{'}\text{'}\text{'}}=(V,E_3)$, where $V=\{v_0,v_1,...,v_{n-1}\}$, $E_2=\{v_0{v}_1,...,v_0{v}_{n-4},v_1{v}_{n-3}$, $v_1{v}_{n-2},v_2{v}_{n-1}\}$ and $E_3=\{v_0{v}_1,...,v_0{v}_{n-4},v_1{v}_{n-3},$ $v_2{v}_{n-2},v_3{v}_{n-1}\}$. We also obtain explicit formulas for $r(K_{1,m-1},T_n)$, $r(T_m^{\text{'}},T_n)$ $(n\ge m+3)$, $r(T_n,T_n)$, $r(T_n^{\text{'}},T_n)$ and $r(P_n,T_n)$, where $T_n\in \{T_n^{\text{'}\text{'}},T_n^{\text{'}\text{'}\text{'}},T_n^3\}$, $P_n$ is the path on $n$ vertices and $T_n^{\text{'}}$ is the unique tree with $n$ vertices and maximal degree $n-2$.