Reduction of an elliptic curve
= Reduction of an elliptic curve
Reducing a minimal integral Weierstrass equation modulo the maximal ideal gives a projective cubic over the residue field. Reducing primitive projective coordinates defines the reduction map on rational points.