Affiliation:
1. Department of Mathematics and Statistics , University of Turku , 20014 Turku , Finland
Abstract
Abstract
A conjecture of Erdős states that, for any large prime q, every reduced residue class
(
mod
q
)
{(\operatorname{mod}q)}
can be represented as a product
p
1
p
2
{p_{1}p_{2}}
of two primes
p
1
,
p
2
≤
q
{p_{1},p_{2}\leq q}
. We establish a ternary version of this conjecture, showing that, for any sufficiently large cube-free integer q, every reduced residue class
(
mod
q
)
{(\operatorname{mod}q)}
can be written as
p
1
p
2
p
3
{p_{1}p_{2}p_{3}}
with
p
1
,
p
2
,
p
3
≤
q
{p_{1},p_{2},p_{3}\leq q}
primes. We also show that, for any
ε
>
0
{\varepsilon>0}
and any sufficiently large integer q, at least
(
2
3
-
ε
)
φ
(
q
)
{(\frac{2}{3}-\varepsilon)\varphi(q)}
reduced residue classes
(
mod
q
)
{(\operatorname{mod}q)}
can be represented as a product
p
1
p
2
{p_{1}p_{2}}
of two primes
p
1
,
p
2
≤
q
{p_{1},p_{2}\leq q}
.
The problems naturally reduce to studying character sums. The main innovation in the paper is the establishment of a multiplicative dense model theorem for character sums over primes in the spirit of the transference principle. In order to deal with possible local obstructions we establish bounds for the logarithmic density of primes in certain unions of cosets of subgroups of
ℤ
q
×
{\mathbb{Z}_{q}^{\times}}
of small index and study in detail the exceptional case that there exists a quadratic character
ψ
(
mod
q
)
{\psi~{}(\operatorname{mod}\,q)}
such that
ψ
(
p
)
=
-
1
{\psi(p)=-1}
for very many primes
p
≤
q
{p\leq q}
.