The multiplicative representation of the principal units of a relative cyclic field. (Q563603): Difference between revisions

Sei \(k_{\mathfrak l}\) ein \(\mathfrak l\)-adischer algebraischer Zahlkörper, der die \(l\)-ten Einheitswurzeln enthält (\(l\) die zum Primteiler \(\mathfrak l\) gehörige Primzahl), und \(K_{\mathfrak L}=k_{\mathfrak l}(\root l\of \alpha )\) ein \textit{Kummer}scher Körper über \(k_{\mathfrak l}\). Im Anschluß an eine frühere Arbeit von \textit{Hasse}-\textit{Hensel} (1923; F. d. M. 49, 114 (JFM 49.0114.*)) bestimmt Verf. explizit eine spezielle multiplikative Basis der Einseinheiten aus \(K_{\mathfrak L}\), nämlich eine solche, die immer aus Serien von bzgl. \(k_{\mathfrak l}\) konjugierten Einseinheiten besteht (Normalbasis), so daß man mittels der zugehörigen Basisdarstellung die Anwendung der Automorphismen von \(K_{\mathfrak L}/k_{\mathfrak l}\) in übersichtlicher Weise beherrscht.