Rikuna's generic cyclic polynomial and the monogenity (Q2239154)

A number field extension \(L/K\) is said to be monogenic if the ring of integers of \(L\) is of the form \(\mathbb{Z}_{K}+\alpha \mathbb{Z}_{K}+\cdots +\alpha^{\lbrack L:K]-1}\mathbb{Z}_{K}\) where \(\alpha\) is an element of \(L\) and \(\mathbb{Z}_{K}\) is the ring of integers of \(K\). According to [\textit{M.-N. Gras}, J. Number Theory 23, 347--353 (1986; Zbl 0564.12008)], an absolute normal extension \(L/\mathbb{Q}\) of prime degree at least \(5\) is monogenic if and only if \(L\) is the maximal real subfield of the cyclotomic field of prime conductor \(2[L:\mathbb{Q}]+1\); thus, for any prime number \(p\geq 5\) the number of monogenic cyclic extensions of degree \(p\) over \(\mathbb{Q}\) is one or zero. A corollary of the main result of the paper under review gives that this last mentioned property is not always true for a relative extension \(L/K\). More precisely, let \(K:=\mathbb{Q(\zeta +\zeta}^{-1})\), where \(\zeta\) is a primitive \(p\)-th root of unity and \(p\) is again a prime number greater than \(4\), \(s\in \mathbb{Z}_{K}\) and \(\theta _{s}\) a root of the polynomial \[ \frac{\mathbb{\zeta}^{-1}(X-\zeta )^{p}-\zeta (X-\mathbb{\zeta}^{-1})^{p}}{\mathbb{\zeta}^{-1}-\zeta}-s\frac{(X-\zeta )^{p}-(X-\mathbb{\zeta}^{-1})^{p}}{p(\mathbb{\zeta}^{-1}-\zeta )}\in \mathbb{Z}_{K}[X]. \] Then, the extension \(K(\theta _{s})/K\) is cyclic of degree \(p\) [\textit{Y. Rikuna}, Proc. Am. Math. Soc. 130, No. 8, 2215--2218 (2002, Zbl 0990.12005)], and the author provides a sufficient condition for the monogenity of such an extension. Also, from this result he obtains that an infinite number of extensions \(K(\theta _{s})/K\) are monogenic. The proof of this last theorem is based on that of a result of [\textit{D. S. Dummit} and \textit{H. Kisilevsky}, Number Theory and Algebra; Collect. Pap. dedic. H.B. Mann, A.E. Ross, O. Taussky-Todd, 29--42 (1977; Zbl 0377.12003)], saying that there are infinitely many monogenic (resp. non-monogenic) normal extensions of degree \(3\) over \(\mathbb{Q}\).