As remarked above, the problem is that is not
-power-smooth for
either
or
. However, notice that
is
-power-smooth! If we could somehow
replace the group
, which has order
, by a group
of order
, and compute
for an element of this new
group, then we might easily split
. Roughly speaking, this is
what Lenstra's elliptic curve factorization method does; it
replaces
by an elliptic curve
over
.
The order of the group
is
for some
nonnegative integer
(any
can occur).
For example, if
is the elliptic curve
I won't describe the elliptic curve factorization method until the
next lecture. The basic idea is as follows. Suppose that we wish to
factor . Choose an integer
. Choose a random point
and a
random elliptic curve
``over
'' that goes
through
. Let
. Try to compute
working
modulo
and using the group law formulas. If at some
point it is necessary to divide modulo
, but division is not
possible, we (usually) find a nontrivial factor of
. Something
going wrong and not being able to divide is analogous to
being
congruent to
modulo
.
More details next time!