Torsion subgroups of elliptic curves in elementary abelian 2-extensions of \(\mathbb Q\) (Q2566186)

Let \(E\) be an elliptic curve over \(\mathbb{Q}\) and \(F/\mathbb{Q}\) the maximal elementary abelian 2-extension of \(\mathbb{Q}\). In \textit{M. Laska} and \textit{M. Lorenz}, ``Rational points on elliptic curves over \(\mathbb{Q}\) in elementary abelian 2-extensions of \(\mathbb{Q}\)'' [J. Reine Angew. Math. 355, 163--172 (1985; Zbl 0586.14013)] it is shown that up to isomorphism the torsion subgroup \(E(F)_{\text{tor}}\) of \(E(F)\) is one of the following 31 groups \(\mathbb{Z}/2^{a+b}\mathbb{Z}\oplus\mathbb{Z}/2^a\mathbb{Z}\), for \(a=1,2,3\) and \(b=0,1,2,3\), \(\mathbb{Z}/2^{a+b}\mathbb{Z}\oplus\mathbb{Z}/2^a\mathbb{Z}\oplus\mathbb{Z}/3\mathbb{Z}\), for \(a=1,2,3\) and \(b=0,1\), \(\mathbb{Z}/2^a\mathbb{Z}\oplus\mathbb{Z}/2^a\mathbb{Z}\oplus\mathbb{Z}/5\mathbb{Z}\), for \(a=1,2,3\), \(\mathbb{Z}/2^a\mathbb{Z}\oplus\mathbb{Z}/2^a\mathbb{Z}\oplus\mathbb{Z}/3\mathbb{Z}\oplus \mathbb{Z}/3\mathbb{Z}\), for \(a=1,2,3\), or \(\{0\}\), \(\mathbb{Z}/3\mathbb{Z}\), \(\mathbb{Z}/3\mathbb{Z}\oplus\mathbb{Z}/3\mathbb{Z}\), \(\mathbb{Z}/5\mathbb{Z}\), \(\mathbb{Z}/7\mathbb{Z}\), \(\mathbb{Z}/9\mathbb{Z}\), \(\mathbb{Z}/15\mathbb{Z}\). However, it is not known whether all of these groups can actually be realized as \(E(F)_{\text{tor}}\) for some elliptic curve \(E\) defined over \(\mathbb{Q}\). In the paper under review the author proves that the following 20 groups are indeed realized \(\mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2N\mathbb{Z}\) for \(N=1,2,3,4,5,6,8\), \(\mathbb{Z}/4\mathbb{Z}\oplus\mathbb{Z}/4N\mathbb{Z}\) for \(N=1,2,3,4\), \(\mathbb{Z}/2N\mathbb{Z}\oplus\mathbb{Z}/2N\mathbb{Z}\) for \(N=3,4\), or \(\{0\}\), \(\mathbb{Z}/3\mathbb{Z}\), \(\mathbb{Z}/3\mathbb{Z}\oplus\mathbb{Z}/3\mathbb{Z}\), \(\mathbb{Z}/5\mathbb{Z}\), \(\mathbb{Z}/7\mathbb{Z}\), \(\mathbb{Z}/9\mathbb{Z}\), \(\mathbb{Z}/15\mathbb{Z}\).