1: \begin{abstract}

2: In this paper, we initiate a systematic study of entanglements of division fields from a group theoretic perspective. 

3: For a positive integer $n$ and a subgroup $G\subseteq \GL_2(\zZ{n})$ with surjective determinant, we provide a definition for $G$ to represent an $(a,b)$-entanglement and give additional criteria for $G$ to represent an explained or unexplained $(a,b)$-entanglement. 

4: 

5: 

6: Using these new definitions, we determine the tuples $((p,q),T)$, with $p<q\in\ZZ$ distinct primes and $T$ a finite group, such that there are infinitely many non-$\overline{\mQ}$-isomorphic elliptic curves over $\QQ$ with an unexplained $(p,q)$-entanglement of type $T$. 

7: Furthermore, for each possible combination of entanglement level $(p,q)$ and type $T$, we completely classify the elliptic curves defined over $\QQ$ with that combination by constructing the corresponding modular curve and $j$-map.

8: \end{abstract}

9: