A family of monogenic \(S_4\) quartic fields arising from elliptic curves (Q1634432): Difference between revisions

The authors give a family of monogenic \(S_4\) quartic fields generated by the \(x\)-coordinate of a \(3\)-torsion point of elliptic curves given by Fueter form. They show that if an elliptic curve \(E\) defined over \(\mathbb Q\) has a twist \(E'\) with a \(\mathbb Q\)-rational \(4\)-torsion point and the twist \(E'\) has reduction types \(I_1^*\) and \(I_1\) only, then the field \(K_3\) generated by the \(x\)-coordinate of a \(3\)-torsion point of \(E\) is a \(S_4\) field and is monogenic with a generator given by a root of the polynomial \(T^4-6T^2-\alpha T-3\) \((\alpha\in\mathbb Z)\). The above condition on reduction types is equivalent to that \(\alpha\pm 8\) are square free. They use the Montes Algorithm to prove that \(K_3\) is monogenic.