Non-monogenic division fields of elliptic curves (Q2043479)

An algebraic number field \(K\) is said to be monogenic if its maximal order \(O_K=\mathbb Z[\alpha]\) for an element \(\alpha\in O_K\). The author studies the monogeneity of \(n\)-division fields \(K_E(n)=\mathbb Q(E[n])\) of elliptic curves \(E\) defined over \(\mathbb Q\). For CM elliptic curves case, this problem was treated extensively by Casson-Noguès and Taylor. Following Dedekind's idea, the author shows that \(K_E(n)\) is non-monogenic by finding a prime \(p\) coprime to \(n\) such that the number \(m_p\) of irreducible polynomials of degree \(d_p\) of \(\mathbb F_p[x]\) is less than the number \(n_p\) of prime ideals of \(K_E(n)\) lying over \(p\). Here \(d_p\) is the order of Frobenius at \(p\) in \(\text{Gal}(K_E(n)/\mathbb Q)\) and is explicitly computable by the result given in [\textit{W. Duke} and \textit{A. Tóth}, Exp. Math. 11, No. 4, 555--565 (2002; Zbl 1162.11348)], and \(m_p\) is also computable by Gauss's result and \(n_p\) is equal to \(|\text{Gal}(K_E(n)/\mathbb Q)|/d_p\). Let \(E\) be an elliptic curve over \(\mathbb Q\). For \(n\) such that \([\text{GL}_2(\mathbb Z/n\mathbb Z):\text{Gal}(K_E(n)/\mathbb Q)]=1 \text{ or }2\) and \(n<1000\), the author lists non-monogenic \(K_E(n)\) by applying the criterion to the primes \(p=2,3,5\) respectively. Further he shows that for non-CM elliptic curve \(E/\mathbb Q\), \(K_E(n)\) is non-monogenic for infinitely many \(n\). As a result for the monogeneity, he establishes a family of monogenic \(2\)-division fields.