How to check the condition $E(\bar{K})[n] \subseteq E(K)$ for pairing $e_n$?

45 Views Asked by At

When constructing the Weil pairing $e_n$, it is required that $E(\bar{K})[n] \subseteq E(K)$, where $E$ is a curve over field $K$, $\bar{K}$ is the field's algebraic closure and $G[n]$ are all the elements $g \in G$ with $ng = 0$. How does one check this condition. Are there curves $E$ that satisfy this condition for all $n$ or do we need to check for each $n$ individually?