Realisation de produits en couronne comme groupe de Galois de polynomes reciproques et construction de polynomes generiques (Q4548849)

Let \(K\) be a number field of degree \(2n\), not of CM-type. It was proved by the author in [Acta Arith. 88, 191-200 (1999; Zbl 0944.11034)] for real \(K\) and by J. Oesterlé in the appendix of the present paper in the general case, that \(K\) can be generated by a reciprocal integer if and only if the Galois group of the Galois closure of \(K\) is contained in the wreath product \(C_2\wr S_n\). In the first part of the paper the explicit realization of the wreath product \(C_2\wr H\) as Galois group over \(\mathbb{Q}\) is considered, where \(H\) is a transitive subgroup of \(S_n\) which appears as a Galois group over \(\mathbb{Q}\). The author considers the attached solvable Galois embedding problem and he proves that there is a reciprocal polynomial with integer coefficients with Galois group the wreath product \(C_2\wr H\). In the second part the Noether problem for the wreath product \(C_2\wr S_n\) is considered. The existence of a generic polynomial for \(C_2\wr S_n\) is known [cf. \textit{D. J. Saltman}, Adv. Math. 43, 250-483 (1982; Zbl 0484.12004)]. The author shows that the reciprocal polynomial \(X^{2n}+ \sum_{i=1}^{n-1} t_i(X^{2n-i}+ X^i)+ t_nX^n+1\) is a generic polynomial for \(C_2\wr S_n\) over a field \(k\) of characteristic zero.