Skip to main content
6 of 7
deleted 30 characters in body

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\ll p',q'$ be a few odd primes chosen uniformly at random from for $m\ll N$. 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?$$