Arithmetic of Rikuna's generic cyclic polynomial and generalization of Kummer theory (Q1882774)

If \(k\) is a field and \(G\) a finite group a polynomial \(f(t_1,\dots, t_n,x)\) in \(k(t_1,\dots,t_n)[x]\) where \(t_1,\dots,t_n\), \(x\) are indeterminates, is called \(G\)-generic over \(k\) if the following two conditions are verified: (1) The splitting field of \(f(t_1,\dots,t_n,x)\) over \(k(t_1,\dots,t_n)\) is Galois with \(G\) as Galois group. (2) If \(K\) is any field containing \(k\) then every Galois extension \(M/K\) with \(\text{Gal} (M/K)\simeq G\) is the splitting field of a specialized polynomial \(f(a_1, \dots,a_n,x)\) for some \((a_1,\dots,a_n)\in K^n\). For a \(G\)-generic polynomial over \(k\) one may consider two problems: (1) Subfield problem: if \((a_1,\dots,a_n)\) and \((b_1,\dots,b_n)\) are in \(K^n\), so that \(f(a_1,\dots,a_n,x)\) and \(f(b_1,\dots,b_n,x)\) are defined, find conditions that the splitting field of \(f(a_1,\dots,a_n,x)\) over \(K\) is contained in the splitting field of \(f(b_1,\dots,b_n,x)\) over \(K\). (2) Ramification problem: if \(K\) is a number field, find the ramification groups of the extension \(K(a_1, \dots,a_n)/K\) where \((a_1,\dots,a_n)\in K^n\) such that \(f(a_1,\dots,a_n,x)\) is defined. Let \(n\) be an odd integer \(\geq 3\) and \(k\) a field whose characteristic does not divide \(n\). If \(\zeta\) is a primitive \(n\)-th root of unity in the algebraic closure of \(k\) it is assumed that \(k\) contains \(\zeta+\zeta^{-1}\). \textit{Y. Rikuna} [Proc. Am. Math. Soc. 130, No. 8, 2215--2218 (2002; Zbl 0990.12005)] has constructed an explicit polynomial which is \(\mathbb{Z}/n\mathbb{Z}\)-generic over \(k\). By a ``generalized Kummer theory'' constructed by the author an explicit solution of the subfield problem is obtained for Rikuna's polynomial. As for the ramification problem for Rikuna's polynomial it is solved under the assumption that \(n\) is an odd prime and \(K\) is a number field containing \(\zeta +\zeta^{-1}\) satisfying certain conditions concerning the ramification of prime ideals lying over \(n\).