= Solution
A <Minimal Weierstrass equation> for $E/\mathbb Q_p$ is a <Weierstrass equation of an elliptic curve> with coefficients in $\mathbb Z_p$ whose discriminant has minimum $p$-adic valuation among all integral equations for $E$ related by admissible changes of variables.
Let $P\in E(\mathbb Q_p)$ and choose projective coordinates $[X:Y:Z]$ with $X,Y,Z\in\mathbb Z_p$ and at least one coordinate a unit. Reducing the coordinates modulo $p$ gives
$$
\operatorname{red}(P)=[\bar X:\bar Y:\bar Z]\in\bar E(\mathbb F_p).
$$
Multiplying the primitive coordinates by a unit does not alter this point, so this defines the <reduction of an elliptic curve>[reduction map] $E(\mathbb Q_p)\to\bar E(\mathbb F_p)$.
Back to article page
