Division field of an elliptic curve (source code)

= Division field of an elliptic curve
{title2=$K(E[n])$}
{wiki=Division_field}

The $n$-division field is obtained by adjoining to $K$ the coordinates of every point of $E[n]$. Over a finite field its degree is the order of Frobenius acting on $E[n]$.