On non monogenity of certain number fields defined by trinomials \(x^6 + ax^3 + b\) (Q2672018): Difference between revisions

An algebraic number field \(F\) is said to be monogenic if its ring of integers \(\mathbb{Z}_{F}\) is of the form \(\mathbb{Z}+\alpha \mathbb{Z}+\cdots +\alpha^{\deg (F)-1}\mathbb{Z=Z}[\alpha]\), for some \(\alpha \in \mathbb{Z}_{F}\). If there exists a prime number \(p\) dividing all the indices \([\mathbb{Z}_{F}:\mathbb{Z}[\alpha]]\) for \(\alpha\) running through the set of algebraic integers with the property \(\mathbb{Q}(\alpha)= F\), then the field \(F\) is not monogenic, and in this case the integer \(p\) and the number field \(F\) are respectively called a common index divisor of \(F\) and a non-monogenic field. In the paper under review, the author obtains sufficient conditions for the non-monogenity of certain number fields \(\mathbb{Q}(\theta)\), where \(\theta\) is a root of an irreducible polynomial of the form \(x^{6}+ax^{3}+b\in \mathbb{Z}[x]\). For such fields, if a prime number \(p\) is a common index divisor, then \(p\leq 5\) (see for instance [\textit{L. Carlitz}, Proc. Am. Math. Soc. 3, 688--692 (1952; Zbl 0047.27301)]), and the author actually shows that \(p\in \{2,3\}\). Also, he gives explicit necessary and sufficient conditions on \(a\) and \(b\) so that \(2\) (resp. \(3\)) is a common index divisor of \(\mathbb{Q}(\theta)\). As in the author's previous related works, the proof of these results is based on Newton's polygon techniques applied on prime ideal factorization.