I don't think we need the entire setup below (from Katz and Mazur's elliptic curve book, pages 74 and 75), but, as a beginner, I am unable to identify the assumptions I need.
Let $S$ be the open subset of ${\rm Spec}(\mathbb{Z}[a_1,a_2,a_3,a_4,a_6])$ over which the cubic $y^2+a_1xy+a_3y=x^3+a_xx^2+a_4x+a_6$ is smooth. Let $E$ be the elliptic curve over $S$ given by the equations above.
First, replace $S$ with $S[1/N]$. I'd like to understand why $E[N]$ is etale locally $(\mathbb{Z}/n\mathbb{Z})^2$. At the end of the proof in the book, it says that it suffices to check this at a single geometric point of $S[1/N]$. Why is this true?
So far, I can see that, once you know $[N]:E\rightarrow E$ is etale, we can base change by the identity section $S\rightarrow E$ and get that $E[N]\rightarrow S$ is etale. But then, I don't see why we can go from one geometric fiber (going to be a $\mathbb{C}$-valued point) being $(\mathbb{Z}/n\mathbb{Z})^2$ to all of $E[N]$ being etale locally $(\mathbb{Z}/n\mathbb{Z})^2$.