Mod-three Galois representation of an elliptic curve (source code)

= Mod-three Galois representation of an elliptic curve
{c}
{title2=$\rho_{E,3}:G_K\to\operatorname{GL}_2(\mathbb F_3)$}

The absolute Galois group acts on $E[3]\simeq\mathbb F_3^2$, giving the mod-three Galois representation. Its invariant vectors are precisely the rational points of order dividing three.