Sur la représentation exponentielle dans les corps relativement galoisiens de nombres \(\mathfrak p\)-adiques. (Q2590518)

Es seien \(k\) ein \(\mathfrak p\)-adischer Zahlkörper vom Grade \(n_0\) über dem rational-\(p\)-adischen Zahlkörper. \(K\) sei ein galoisscher Erweiterungskörper endlichen Grades \(n\) von \(k\) und besitze keine höheren Verzweigungen. \(\Gamma\) sei der Gruppenring der Galoisgruppe von \(K/k\) mit ganzen rational \(p\)-adischen Koeffizienten. Es wird bewiesen: 1) Enthält \(K\) nicht die \(p\)-ten Einheitswurzeln, so hat die Einseinheitengruppe von \(K\) den \(\Gamma\)-Rang \(n_0\) und besitzt eine \(\Gamma\)-Basis aus \(n_0\) unabhängigen Einseinheiten. 2) Enthält \(K\) die \(p\)-ten Einheitswurzeln, so hat die Einseinheitengruppe von \(K\) den \(\Gamma\)-Rang \(n_0 + 1\) und besitzt eine \(\Gamma\)-Basis aus \(n_0 + 1\) Einseinheiten, zwischen denen \(n\) unabhängige Relationen mit ganzen rational-\(p\)-adischen Exponenten bestehen. Ist dabei speziell \(n\) nicht durch \(p\) teilbar, so kann eine \(\Gamma\)-Basis aus einer Einheitswurzel und \(n_0\) von ihr und untereinander unabhängigen Einseinheiten gewählt werden. Diese Resultate werden auch noch speziell für den Fall ausgesprochen, daß \(k\) der rational-\(p\)-adische Zahlkörper ist. Sie sind dann formal ganz analog zu den bekannten Basisdarstellungen der Einseinheitengruppe des rational-\(p\)-adischen Zahlkörpers selbst.