Suppose $d_1, d_2$ are two fixed coprime integers, $\frac{d_1}{d_2} \neq \pm 1$. Given any $n > 0$, can we find a prime number $p$ such that the order of $d_1d^{-1}_2$ in the multiplicative group of the field $\mathbb{Z}/p\mathbb{Z}$ be greater than $n$?
$\begingroup$
$\endgroup$
7
-
$\begingroup$ If $d_1/d_2 \ne \pm 1$, the order $\mod p$ is clearly at least $\log p/\log 2$, so yes. $\endgroup$– Felipe VolochCommented Oct 3, 2012 at 2:48
-
$\begingroup$ Hi, Felipe, how do you see the order is at least logp/log2? I am not a number theorist, so I might be a little slow on this. $\endgroup$– Xiaolei WuCommented Oct 3, 2012 at 2:56
-
1$\begingroup$ I'm not sure how Felipe got $\log p / \log 2$, but if $d_1^m \equiv d_2^m \mod p$ then $|d_1^m - d_2^m| = p k \ge p$. So, at least one of $|d_1|^m, |d_2|^m$ has to be at least $p$. Choosing $p$ larger than $\max(|d_1|,|d_2|)^m$ means the order has to be greater than $m$. $\endgroup$– Douglas ZareCommented Oct 3, 2012 at 3:08
-
$\begingroup$ Hi, Felipe. I actually think you are wrong now. There are always elements in Z/pZ has order 2 since the multiplicative group has order p-1 which is an even number if p is odd. $\endgroup$– Xiaolei WuCommented Oct 3, 2012 at 3:20
-
$\begingroup$ Thank you, Douglas Zare. I see your proof now. I think I am going to close this question soon since it is actually very easy. $\endgroup$– Xiaolei WuCommented Oct 3, 2012 at 3:29
|
Show 2 more comments
1 Answer
$\begingroup$
$\endgroup$
The answer to your question is "yes" (cf. Douglas Zare's comment). In fact, for all sufficiently large primes $p$, the order of $d_1 d_2^{-1}$ is greater than $n$. Here, "sufficiently large" means greater than $|d_1|^n$ and $|d_2|^n$.