1: \begin{abstract}

2: In 1972, Serre showed that the adelic Galois representation associated to a non-CM elliptic curve over a number field has open image in $\GL_2(\adelezz)$.

3: In \cite{greicius}, Greicius develops necessary and sufficient criteria for determining when this representation is actually surjective and exhibits such

4: an example. However, verifying these criteria turns out to be difficult in practice; Greicius describes tests for them that apply only to semistable

5: elliptic curves over a specific class of cubic number fields. In this paper, we extend Greicius' methods in several directions.  First, we consider

6: the analogous problem for elliptic curves with full 2-torsion. Following Greicius, we obtain necessary and sufficient conditions for the associated

7: adelic representation to be maximal and also develop a battery of computationally effective tests that can be used to verify these conditions.

8: We are able to use our tests to construct an infinite family of curves over $\Q(\alpha)$ with maximal image, where $\alpha$ is the real root of

9: $x^3 + x + 1$. Next, we extend Greicius' tests to more general settings, such as non-semistable elliptic curves over arbitrary cubic number fields.

10: Finally, we give a general discussion concerning such problems for arbitrary torsion subgroups.

11: \end{abstract}

12: