write direction from here

Haven't included finite field thing yet.
add finite field remarks
improve N/d for d | N to N/(N,d) for any N

And that changes everything!
write abstract

Finally it's about time!