I think that the answer is no.
For instance, take $a=4, \, b=5$. Then $p \geq 11$, so $a=2^2$ is a square mod $p$. But a generator of $(\mathbf{Z}_p)^{\times}$ is always a non-square.
Francesco Polizzi
- 66.3k
- 5
- 180
- 283