Ein logarithmenfreier Beweis des Dirichletschen Einheitensatzes. (Q1440499)

Verf. beweist den Dirichletschen Einheitensatz ohne Benutzung transzendenter Hilfsmittel. \(r_1\) sei die Anzahl der reellen, \(r_2\) die Anzahl der Paare konjugiert komplexer unter \(n\) zueinander konjugierten Zahlkörpern \(n\)-ten Grades. Wie üblich seien die Körper so angeordnet, daß\ \(K^{(1)},\dots,K^{(r_1)}\) reell, die übrigen Körper komplex und dabei \(K^{(r_1+\varrho)}\) und \(K^{(r_1+r_2+\varrho)}\) konjugiert komplex sind. Im wesentlichen mit der alten \textit{Dirichlet}schen Methode werden zunächst \(r=r_1+r_2-1\) Einheiten \(\varepsilon_1,\varepsilon_2,\dots,\varepsilon_r\) konstruiert, so daß\ \(\left| \varepsilon_j^{(j)} \right|>1\), aber \(\left| \varepsilon_j^{(i)} \right|<1\) für \(i \neq j\) wird. Das Bestehen einer Relation \(\prod_{j=1}^r \varepsilon_j^{\varrho_j}=1\) wird auf Grund dieser Ungleichungen zum Widerspruch geführt. Man beweist nun mit Hilfe der Bedingungen für die \(\left| \varepsilon_j^{(i)} \right|\) und der Tatsache, daß\ für eine Einheit \(\varepsilon \prod_{i=1}^n| \varepsilon^{(i)}| =1\) ist, daß\ sich jede Einheit \(\varepsilon\) durch Multiplikation mit einem Potenzprodukt der \(\varepsilon_j\) \((j=1,2,\dots,r)\) in eine Einheit \(\eta\) überführen läßt, für die \(1<\left| \eta^{(i)} \right| \leqq \left| \varepsilon_j^{(j)} \right|\) für \(i=1,2,\dots,r\) gilt; daraus folgt \(\left| \eta^{(r+1)} \right| \leqq 1\). Es gibt also nur endlich viele Einheiten, die den für \(\eta\) vorgeschriebenen Bedingungen genügen. Aufgrund bekannter gruppentheoretischer Überlegungen ergibt sich, daß\ die Gruppe der Einheiten des Körpers direktes Produkt zyklischer Gruppen ist, von denen die durch die \(\varepsilon_j\) erzeugten von unendlicher Ordnung sind, während die übrigen (endlichen) zyklischen Gruppen durch Einheitswurzeln erzeugt werden.