Analytic normal basis theorem (Q944033)

The main goal of this paper is to present an analytic generalization of the normal basis theorem. The normal basis theorem of Noether states that for any finite normal and separable field extension \(L/K\) with Galois group \(G\) there exists an element \(x\in L\) such that \(\{x^{\sigma}\}_{\sigma\in G}\) is a vector space basis of \(L\) over \(K\). The main result establishes that if \({\mathbb Q}_ p\subseteq K\subseteq L\subseteq \overline{\mathbb Q}_ p\) with \(L/K\) a normal extension, then there exists an element \(u\) in the topological closure \(\tilde{L}\) of \(L\) in \({\mathbb C} _ p\) such that the \(K\)-vector space generated by all conjugates of \(u\) over \(K\) is dense in \(\tilde{L}\). Using the construction given in the proof of the main result, the authors give an analytic generalization of the following result. If \(u\in L\) is such that \(\{u^{\sigma}\}_{\sigma\in G}\) is a vector spaces basis of a finite Galois extension \(L/K\) with \(G=\text{Gal}(L/K)\), then for any normal extension \(E/K\) with \(E\subseteq L\), \(\{\text{Tr}_{ L/E} u^{\sigma}\}_{\sigma\in \text{Gal}(E/K)}\) is a vector space basis of \(E/K\).