Resolution of a family of Galois embedding problems with cyclic kernel (Q2567443): Difference between revisions

Let \(n\geq 3\) be an odd integer and \(K\) be a field of characteristic not dividing \(n\), containing the group \(\mu_n\), of \(n\)th roots of unity. Let \(L= K(\root n\of{a_1},\dots, \root n\of{a_m})\) be an abelian extension with Galois group \(\Gamma:= \text{Gal}(L/K)\) isomorphic to the direct product of \(m\) copies of \(\mathbb{Z}/n\mathbb{Z}\). Finding adequate representations of \(\Gamma\) in the automorphism group of a generalized Clifford algebra, the author gives the obstruction to the solvability of the related embedding problem of \(L/K\) with kernel \(\mathbb{Z}/n\mathbb{Z}\) and computes a primitive element of a solution. Unfortunately for the author, these embedding problems have been completely solved, in a constructive way with all their solutions, by the reviewer when \(n= p\) is a prime number (including 2). The reference (not quoted by Vela) is: [\textit{R. Massy}, Construction de \(p\)-extensions galoisiennes d'un corps de caractéristique différente de \(p\), J. Algebra 109, 508--535 (1987; Zbl 0625.12011)]. Indeed, as far as I check the results of Massy (loc. cit.) by replacing the prime \(p\) by any odd integer \(n\), they remain true. The crucial point is that, for \(n\) not prime, a kernel of order \(n\) is not necessarily a trivial \(\Gamma\)-module. But assuming \(\mu_n\subseteq K\), Vela makes the hypothesis that \(\mathbb{Z}/n\mathbb{Z}\) is a trivial \(\Gamma\)-module. Then, all the machinery of Massy (loc. cit.) holds and this machinery gives more advanced results than Vela's ones, among others for the construction of the solutions which are all computed. As a matter of comparison, we get in a few lines with the method and notations of Massy (loc. cit.), the solutions of Vela's example over \(K= \mathbb{Q}(\omega)\) (\(\omega^3= 1\), \(\omega\neq 1\)): \[ L= K(\root 3\of{2}, \root 3\of{5}, \root 3\of{3}),\quad \varepsilon= (2, 5)_L+ ((3))_L. \] Since \(N_{K(2^{1/3})/K}(1+ \root 3\of{4})= 5\), we have \(\chi_{L/K}(x_1)= (2, 5)_L\) for \[ x_1= {1+ \root 3\of{4}\over 1+\omega\root 3\of{4}}. \] Since \[ N_{K(\root 3\of{3})/K} \Biggl({1- \omega+ \root 3\of{3}\over \root 3\of{3}(1- \root 3\of{3})}\Biggr)= \omega, \] we have \(\chi_{L/K}(x_2)= ((3))_L\) for \[ x_2= \root 3\of{3} {(1- \omega+\root 3\of{3}) (1-\omega\root 3\of {3})\over (1-\root 3\of {3})(1- \omega+ \omega\root 3\of{3})}. \] Now \(\chi_{L/K}(x_1x_2)= \varepsilon\). Then, all the solutions of the embedding problem \([L/K,\varepsilon]\) are the extensions \[ L(\root 3\of{kx_1x_2})/K\qquad (k\in K^\times). \]