Skip to main content
1 of 4

Field of definition a point in $[p]^{-1}E(K)$

Let $E$ be an ordinary elliptic curve defined over a non-perfect field $K$ of characteristic $p$. If $P \in E(K)$ satisfies $P \not\in [p]E(K)$, is it true that its $m$-division points are defined in inseparable $p^m$-degree extensions? Say, if $[p^m]P_m = P$, then $[K(P_m):K]_i \geq p^m$? Thanks in advance.