Über Einheiten relativ galoisscher Zahlkörper. (Q563599)

Der Determinantensatz, den \textit{Minkowski} beim Beweis seines Einheitensatzes im absolut \textit{Galois}schen Zahlkörper verwendet, wird neu und sehr einfach bewiesen. Dieser Determinantensatz kann auch benutzt werden, um einen einfachen Beweis für die folgende Verallgemeinerung des \textit{Minkowski}schen Satzes, die von \textit{Herbrand} stammt, zu erbringen: Es sei \(k\) ein beliebiger Grundkörper mit \(r\) Grundeinheiten, \(K\) ein über \(k\) relativ \textit{Galois}scher Körper mit \(R\) Grundeinheiten. Dann existieren \(r+1\) Einheiten \(E_1,\ldots,E_{r+1}\) in \(K\) derart, daß unter den Zahlen \(E_i\) und ihren relativ konjugierten (im ganzen \(R+1\) Zahlen) ein System unabhängiger Grundeinheiten von \(K\) enthalten ist. Man kann die Einheiten \(E_i\) sogar so wählen, daß die einzige multiplikative Relation zwischen ihnen \[ \prod _{\sigma,i}\sigma E_i=1 \] ist. Dabei durchläuft \(\sigma \) die Permutationen der \textit{Galois}schen Gruppe \(\mathfrak G\) von \(K\) in bezug auf \(k\), die aber für jedes \(i\) modulo einer gewissen Untergruppe der Ordnung 1 oder 2 von \(\mathfrak G\) zu nehmen sind.