On integral bases and monogeneity of pure sextic number fields with non-squarefree coefficients (Q2043494)

It is assumed in this paper that the polynomial \(f(x)=x^6-m\) (\(m\neq\pm 1\) is a rational integer) is irreducible over \(\mathbb{Q}\) and that, for every rational prime integer \(p\), \(\nu_p(m)\leq 5\). Denote the pure sextic number field generated by a complex root \(\alpha\) of \(f(x)\) by \(K=\mathbb{Q}(\alpha)\) and denote by \(\mathbb{Z}_K\) its ring of integers. If \(\mathbb{Z}_K\) is generated by a single generator (as a ring), then \(K\) is said to be monogenic; otherwise it is not monogenic. The main purpose of the paper is the study of the monogenic property of any pure sextic number field, where \(m\) does not have to be a square free rational integer. The author first gives long tables of calculation of an integral basis of \(\mathbb{Z}_K\) and moves on to the following results: Theorem 2.4. Let \(K=\mathbb{Q}(\alpha)\) be a pure sextic number field generated by a complex root \(\alpha\) of a monic irreducible polynomial \(f(x)=x^6-m\in\mathbb{Z}[x]\). If one of the following conditions holds (1) \(m\equiv 1 \pmod 4\), (2) \(m\equiv 1 \pmod 9\), (3) \(\nu_p(m)=2\) for some odd prime \(p\), then \(K\) is not monogenic. Theorem 2.5. Assume that \(m=e^5\) such that \(e\neq\pm 1\) is a square free rational integer. Then \begin{itemize} \item[(1)] If \(e\not\equiv 1 \pmod 4\) and \(e\not\equiv \pm 1 \pmod 9\), then \(K\) is monogenic and \(\mathbb{Z}_K\) is generated by \(\theta=\alpha^5/e^4\). \item[(2)] If \(e\equiv 1 \pmod 4\), or \(e=\pm 1 \pmod 9\), then \(K\) is not monogenic. \end{itemize} The last section is devoted to the proofs of these results; these proofs are based on well-known Dedekind criterion, and complementary method of Ore which is based on Newton polygons when evaluating the index \((\mathbb{Z}_K:\mathbb{Z}[\alpha])\). The author would have aided the reading of his paper if he had disclosed which algebraic computer packages he used in his computations.