Über das Produkt von Linearformen. (Q2586273)

Es seien \(r\geqq 0\), \(s \geqq 0\) ganz, \(r+2s=n>0\). Es sei \(d\) die absolut kleinste Diskriminante für alle algebraischen Körper \(n\)-ten Grades, von denen genau \(r\) konjugierte reell sind. Dann gibt es \(n\) Linearformen \(L_j(x_1, \ldots,x_n)\), \(j=1\), \dots, \(n\), mit der Determinante 1, von welchen \(r\) reell und \(s\) Paare konjugiert komplex sind, so daß die Ungleichung \(|L_1L_2 \cdots L_n|< d^{-\frac 12}\) keine nichttriviale Lösung in ganzen \(x_j\) besitzt. Es ist bekannt, daß diese Schranke für \(n\leqq 3\) scharf ist.