Das Fundamentalsystem für die Logarithmen eines \(\mathfrak{p}\)-adischen algebraischen Körpers und sein Regulator. (Q1450004)

Die zu referierende Arbeit schließt sich in Inhalt und Bezeichnungen an die in F. d. M. 51, 122 (JFM 51.0122.*) besprochene Arbeit des Verf. an. Dort war gezeigt worden, daß die logarithmischen Reihen in einem \(\mathfrak p\)-adischen Körper einen Modul bilden. Es ergibt sich nun, daß dieser Modul endlich ist; es lassen sich alle logarithmischen Reihen \(l\) durch ein Fundamentalsystem \(l_1, l_2, \dots, l_\lambda\) von \(\lambda = e f\) Logarithmen mit ganzen \(p\)-adischen Koeffizienten \(c_i\) darstellen: \[ l = l_1 c_1 + l_2 c_2 + \cdots + l_\lambda c_\lambda; \] dabei ist \(e\) die Ordnung und \(f\) der Grad von \(\mathfrak p\). In diesem Fundamentalsystem treten ``reguläre'' Logarithmen und ``irreguläre Logarithmen von ''höchster Irregularitätsordnung'' auf; die Anzahl der letzteren ist bestimmt durch den höchsten Grad \(p^{\nu_s}\) der im Körper \(K(\mathfrak p)\) auftretenden Einheitswurzeln. Indem man von den Logarithmen zum Numerus übergeht, erhält man die bekannte multiplikative Darstellung der Einseinheiten durch ein Fundamentalsystem von \(\lambda + 1\) Einseinheiten. Aus der Darstellung der Logarithmen durch ein Fundamentalsystem läßt sich ferner der Index des Regulators berechnen.