Abelian extensions in which any regular element is completely regular. (Q1813641)

Let \(L/K\) be a finite Galois extension. An element of the extension \(L/K\) is called completely regular (or completely basic) in \(L/K\) if it is regular (basic) in \(L/K\) for each intermediate field \(M\) of \(L/K\). A finite Galois extension is called completely regular (completely basic) if any regular element in \(L/K\) is completely regular in \(L/K\). The paper contributes to the problem of describing all abelian extensions, which are completely regular. The following characterization of the completely regular extensions with cyclic Galois group of prime power order represents the main result: Let \(L/K\) be a Galois extension with cyclic Galois group \(G\) of order \(q^ n\), \(q\) a prime number with \(q\neq\hbox{char }K\), and \(K_ 1\) the fixed field of the maximal subgroup of \(G\). Let \(\zeta\) be a \(q^ n\)-th primitive root in an algebraic closure of \(L\). Then \(L/K\) is completely regular if and only if one of the following conditions hold: {(i) } \(L\cap K[\zeta]=K\), (ii) \(q\neq 2\), \(K[\zeta]: K=qs, s\mid(q-1)\) and \(K_ 1\leq K[\zeta]\), {(iii) } \(q=2\), \(K_ 1=K[\zeta]\) and \(\zeta^ 2\in K\), (iv) \(q=2\), \(K[\zeta]: K=4\), \(K[\zeta^ 2]\neq K_ 1\leq K[\zeta]\) and \(K[\zeta^ 2]: K=2\).