Quick description
If you can find a non-trivial square root of
mod
, then you can find a non-trivial factor of
.
General discussion
If
is prime, then the equation
mod
has the two solutions
mod
. But if
is composite, then the equation can have more solutions. For instance, if
then
can be
or
. Indeed, if
for two odd primes
and
, then
will always have four square roots, since
mod
if and only if
mod
and
mod
, by the Chinese remainder theorem, and each of the four of the pairs of equations
mod
and
mod
has a unique solution, also by the Chinese remainder theorem. (This explains the square roots of
mod
, for example.)
We can also turn this idea round. If you are given
such that
mod
and
mod
, then you can find a factor of
. To do so, you observe first that
mod
, so
is a factor of
. This implies that
has a non-trivial common factor with at least one of
and
, since neither is a multiple of
. One can then apply Euclid's algorithm to find this common factor. (The idea of applying Euclid's algorithm in a situation like this is discussed in more detail in the article To find a factor of
, find some
such that
is not
.)
Tricki
Comments
Post new comment
(Note: commenting is not possible on this snapshot.)