A group theoretic perspective on entanglements of division fields
In this paper, we initiate a systematic study of entanglements of division fields from a group theoretic perspective. For a positive integer and a subgroup with surjective determinant, we provide a definition for to represent an -entanglement and give additional criteria for to represent an explained or unexplained -entanglement. Using these new definitions, we determine the tuples , with distinct primes and a finite group, such that there are infinitely many non--isomorphic elliptic curves over with an unexplained -entanglement of type . Furthermore, for each possible combination of entanglement level and type , we completely classify the elliptic curves defined over with that combination by constructing the corresponding modular curve and -map.