 Solution

Choose an integral Minimal Weierstrass equation whose discriminant is a $p$-adic unit. Given $P=[X:Y:Z]\in E({\mathbb{Q}}_p)$, scale the coordinates so that $X,Y,Z\in {\mathbb{Z}}_p$ and at least one is a unit. DefineAnother primitive representative differs by a unit scalar, so the projective reduction is well defined. The reduced cubic is smooth by good reduction.

To prove the group homomorphism property, view this smooth projective cubic with its section $O$ as the integral elliptic model $\mathcal{E}/{\mathbb{Z}}_p$. Its addition law is defined over ${\mathbb{Z}}_p$, by adding degree-zero divisor classes, and thus is a regular morphism $\mathcal{E}\times \mathcal{E}\to \mathcal{E}$. Properness identifies $E({\mathbb{Q}}_p)$ with the integral sections just described. Reducing the addition morphism is the group operation of the smooth special fiber. ConsequentlyThis is the good-reduction map respects elliptic addition argument; it covers tangent, vertical and infinity cases where reducing a single affine slope formula would involve division by a nonunit. Smoothness also makes reduction surjective: at each reduced point a partial derivative is a unit, and the Hensel lemma lifts that point in a local affine chart.