Skip to main content
2 of 7
edited title

Is it possible to have square-free order(s) in $\mathbb{Z}^\times_N$?

Suppose, $N=p\cdot q$ is the product of two safe primes $p=2p'+1$ and $q=2q'+1$ for some odd primes $p'$ and $q'$.

Let, $p_0,p_1,\ldots,p_m$ be a few odd primes chosen uniformly at random from the first $2^{128}$ primes for $m= 2^{40}$. My question is that is it possible to have the following congruence at all,

$$p_0^{p_1 \times p_2 \times \cdots\times p_m}\equiv \pm 1 \pmod N?$$