Torsion subgroups of rational elliptic curves over the compositum of all D4 extensions of the rational numbers

Let E/Q be an elliptic curve and let Q(D-4(infinity)) be the compositum of all extensions of Q whose Galois closure has Galois group isomorphic to a quotient of a subdirect product of a finite number of transitive subgroups of D-4. In this article we first show that Q(D-4(infinity)) is in fact the compositum of all D-4 extensions of Q and then we prove that the torsion subgroup of E(Q(D-4(infinity))) is finite and determine the 24 possibilities for its structure. We also give a complete classification of the elliptic curves that have each possible torsion structure in terms of their j-invariants. (C) 2018 Elsevier Inc. All rights reserved.