ON RADICAL FIELD EXTENSIONS OF PRIME EXPONENT (Q4416613)

Let \(K\) be an arbitrary field, let \(p\) be a prime number different from the characteristic of \(K\), let \(r\geq 1\), let \(a_1,\dots, a_r\in K^*\), and let \(\root p\of{a_1},\dots, \root p\of{a_r}\) be any fixed \(p\)th roots in an algebraic closure \(\Omega\) of \(K\). Assume that \[ [K(\root p\of{a_1},\dots, \root p\of{a_r}): K]= p^r. \] The author proves (1) The extension \(K\subseteq K(\root p\of{a_1},\dots, \root p\of{a_r})\) is \(K^*\langle\root p\of{a_1},\dots, \root p\of{a_r}\rangle\)-Cogalois, where \(K^*\langle\root p\of{a_1},\dots, \root p\of{a_r}\rangle\) is the multiplicative subgroup of \(\Omega^*\) generated by \(K^*\) and \(\root p\of{a_1},\dots, \root p\of{a_r}\). (2) \(|\langle\widehat{\root p\of{a_1}},\dots, \widehat{\root p\of{a_r}}\rangle|= |\langle\widehat{\widehat a_1},\dots, \widehat{\widehat a_r}\rangle|= p^r\), where \(\langle\widehat{\root p\of{a_1}},\dots, \widehat{\root p\of{a_r}}\rangle\) is the multiplicative subgroup of the finite group \(K^*\langle\root p\of{a_1},\dots, \root p\of{a_r}\rangle/K^*\) generated by the classes of \(\root p\of{a_1},\dots, \root p\of{a_r}\) modulo \(K^*\) and \(\langle\widehat{\widehat a_1},\dots, \widehat{\widehat a_r}\rangle\) is the multiplicative subgroup of the group \(K^*/K^{*p}\) generated by the clasess of \(a_1,\dots, a_r\) modulo \(K^{*p}\). (3) If \(i_1,\dots, i_n\geq 0\) and \(a^{i_1}_1\cdots a^{i_r}_r\in K^{*p}\), then \(p|i_1,\dots, p|i_r\). (4) \(K(\root p\of{a_1},\dots, \root p\of{a_r})= K(\root p\of{a_1}+\cdots+ \root p\of{a_r})\). These results are straightforward consequences of theorems proved in [the author and \textit{F. Nicolae}, J. Number Theory 52, No. 2, 299--318 (1995; Zbl 0838.12003) and Symposia Gaussiana, 233--240 (1995; Zbl 0849.12004)].