Der \textit{Minkowski}sche Satz über die Körperdiskriminante. (Q1476422): Difference between revisions

Rein arithmetischer Beweis des Satzes, daß die Körperdiskriminante eines algebraischen Körpers vom Grade \(n>1\) wenigstens eine Primzahl enthält, also \(>1\) ist. Sind \(a_{ik}\) ganze rationale Zahlen und \[ y_i=a_{i1}x_1+a_{i2}x_2+\cdots+a_{in}x_n (i=1,2,\dots,n), \] wo die Determinante \(\Delta\) des Systems von 0 verschieden ist, so wird zunächst durch Zurückführung des Gleichungssystems auf ein kanonisches der Satz bewiesen: Man kann die ganzen Zahlen \(x_1,x_2,\dots,x_n\) so bestimmen, daß sie nicht alle 0 sind, und daß \[ | y_i|\leqq |\root n\of {\Delta}| (i=1,2,\dots,n). \] Dieser Satz wird sukzessive erweitert; zuerst auf ein Gleichungssystem, das auch Paare von konjugiert imaginären Linearformen enthält, wobei alle reellen Zahlenkoeffizienten ganze Zahlen bleiben. Daraus folgt der Satz ohne weiteres für Gleichungssysteme mit gebrochenen rationalen Koeffizienten. Da irrationale Zahlen durch rationale Näherungsbrüche beliebig nahe gegeben sind, folgt der Satz für jedes Linearsystem, dessen Determinante von Null verschieden ist, und das zu jeder imaginären Linearform auch ihre Konjugierte enthält. Durch Variation der Koeffizienten \(a_{ik}\) wird im Fall \(n>1\) stets ein System ganzer Zahlen \(x_1,x_2,\dots,x_n\), die nicht sämtlich Null sind, gefunden, für das \[ 0\leqq | y_1y_2\dots y_n|<| \Delta|. \] Ist also \(\omega_1,\omega_2,\dots,\omega_n\) eine Basis der ganzen Zahlen eines algebraischen Körpers vom Grade \(n>1\), so ist für jede Zahl \(\omega\) und ihre Konjugierten \(\omega^{(k)}\): \[ \begin{aligned} \omega^{(k)}&=x_1\omega_1^{(k)}+x_2\omega_2^{(k)}+\cdots+x_n\omega_n^{(k)} (k=0,1,\dots,n-1),\\ | \Delta|&=| \omega_1^{(k)}|, D=\Delta^2.\end{aligned} \] Für \(\Delta\) gilt für geeignetes \(\omega\) die Ungleichung: \[ 0\leqq | \omega\omega'\omega''\dots\omega^{(n-1)}|<| \Delta|. \] Da die Norm \(| \omega\omega'\dots\omega^{(n-1)}|\geqq 1\), so gilt für die Körperdiskriminante \(D: D>| \Delta|>1\).