On generic cyclic polynomials of odd prime degree (Q5928549)

Let \(\ell\) be a prime number and \(k\) be a field whose characteristic is not \(\ell\). Denote by \(C_\ell\) the cyclic group of order \(\ell\). A polynomial \(g(T_1, T_2, \dots , T_m;X) \in k(T_1, T_2, \dots , T_m)[X]\) having \(C_\ell\) as Galois group over \(k(T_1, T_2, \dots , T_m)\) and parametrizing all \(C_\ell\)-extensions of overfields of \(k\) is called a generic polynomial for \(C_\ell\) over \(k\). For instance, if \(k\) contains the \(\ell\)-th roots of unity \(\mu_{\ell}\), then by Kummer theory, \(X^\ell - T\) is a generic polynomial with one parameter T for \(C_\ell\) over \(k\). Here, the author does not assume that \(\mu_{\ell} \subset k\) and provides a generic polynomial with \(d : = [k(\mu_{\ell}) : k]\) parameters for \(C_\ell\) over \(k\). The proof is based on Theorem 5.3.5 of [\textit{H. Cohen}, Advanced topics in computational number theory. Graduate Texts in Mathematics, 193 (Springer-Verlag, New York) (2000; Zbl 0977.11056)] of which, in turn, the proof relies on Kummer theory. As pointed out by the author, different approaches concerning cyclic polynomials of any odd degree over the field of rational numbers \(\mathbb{Q}\) can be found in [\textit{R. Dentzer}, Commun. Algebra 23, 1593-1603 (1995; Zbl 0822.12001)] and in [\textit{G. W. Smith}, Commun. Algebra 19, No. 12, 3367-3391 (1991; Zbl 0747.12003)].