I've been attempting to prove some comments I've read on MO by myself for my undergrad thesis regarding étale morphisms of elliptic curves. My definition of an étale morphism is taken from Milne's notes (page 19) which roughly says that for a field $K$ with algebraic closure $\bar{K}$, a morphism $\phi: X\rightarrow Y$ of varieties (all defined over $K$) is étale at $P\in X(K)$ if it is étale at $P$ when we consider everything as being defined over $\bar{K}$. In this case being étale means the induced linear map $d_P\phi: T_P X \rightarrow T_{\phi(P)}Y$ (as $\bar{K}$-vector spaces) on tangent spaces is an isomorphism. We say $\phi$ is étale if it is étale at every point.
Assuming I've done things correctly I've managed to prove that for an elliptic curve $E$ over a field $K$,
- If $\operatorname{char}(K)=0$ then every multiplication-by-$m$ isogeny $[m]:E\rightarrow E$ is étale;
- If $\operatorname{char}(K) = p>0$ then $[m]:E\rightarrow E$ is étale as long as $m$ is not a multiple of $p$.
The way I proved this (using Theorem III.4.10(c) in Silverman's Arithmetic of Elliptic Curves) broke down in characteristic $p$ when I looked at isogenies of the form $[np]$ because I could not show these isogenies had to be separable. Initially I had just supposed they had to be zero, but I don't think this is right. Indeed I've seen that an object called a "$p$-divisible group" apparently captures $p$-torsion in characteristic $p$ better than Tate $p$-modules, and this suggests that in fact these morphisms aren't always zero. So isogenies of the form $[np]$ can be finite, and I guess could potentially even be étale. I really have no intuition in characteristic $p$ though.
If anyone could provide me with an answer to whether multiplying by (a multiple of) $p$ on an elliptic curve in characteristic $p$ is étale or not - or some pointers on how to prove this - I would really appreciate it.
Edit: I've been reminded of theorem III.4.2(a) in AEC in a comment below which says that for nonzero $m$ the multiplication-by-$m$ isogeny is never zero, no matter what $m$ or the characteristic of the field are. Thus the isogenies $[np]$ are nonzero even in characteristic $p$. Whether or not they are étale, however, is still open.
Further edit: it has been pointed out in the comments that the multiplication by $p$ isogeny in characteristic $p$ can be purely inseparable (in the case that the elliptic curve is "supersingular"). Hence in some cases we can't apply theorem III.4.10c to deduce they are unramified, which is what I needed for the other parts of this proof. So I think the question boils down to whether or not these morphisms are unramified and how to show this in a different way.