Sur les formes décomposables et les nombres algébriques. (Q1439354)

Verf. behandelt irreduzible Formen \(m\)-ten Grades in \(n\) Unbestimmten mit ganzzahligen Koeffizienten, die in passenden Erweiterungskörpern in Linearfaktoren zerlegbar sind \((m \geqq n)\): \[ \multlinegap{0pt} \begin{multlined} F(x_1,\dots,x_n)=\textstyle {\kern-14pt\sum\limits_{i_1+\dots +i_n=m}} \displaystyle {\kern-5pt}A_{i_1\cdots i_n}\,x_1^{i_1}\ldots x_n^{i_n}=\\ A\cdot (\mu _1^{(1)}x_1+\dots +\mu _n^{(1)}x_n)\, (\mu _1^{(2)}x_1+\dots +\mu _n^{(2)}x_n)\dots (\mu _1^{(m)}x_1+\dots +\mu _n^{(m)}x_n).\end{multlined} \] Um in der Gesamtheit der zu \(F(x_1,\dots, x_n)\) äquivalenten Formen reduzierte Formen zu definieren, ordne man nach \textit{Hermite} der Form \(F\) eine positiv definite quadratische Hilfsform \[ \varPhi (x_1,\dots,x_n)= \textstyle \sum\limits_{i=1}^{m} \displaystyle T^2_i\;|\,\mu _1^{(i)}x_1+\dots +\mu _n^{(i)}x_n\,|^2 \] mit der Diskriminante \(\varDelta \) zu. Für die Parameter \(T_1\), \dots, \(T_m\) können beliebige reelle Zahlwerte gesetzt werden. Man denke sich die Form \(\varPhi \) für jedes Parametersystem, mit Hilfe einer Substitution \(S\) reduziert. \(F\) gehe durch Anwendung von \(S\) in die äquivalente Form \(F^S\) über. In der Gesamtheit der Formen \(F^S\) heißen diejenigen Formen reduziert, die durch einen Minimalwert der Zahl \[ \varTheta =\frac{\varDelta ^{\tfrac{m}{n}}}{T_1^2\dots T_m^2} \] ausgezeichnet sind. -- Die Anzahl der nicht äquivalenten Formen, die zu beschränktem \(\varDelta \) gehören, ist endlich. Bei der Betrachtung der ``zerlegbaren Formen'' ergeben sich gemäß ihrem Aufbau Resultate über algebraische Zahlen; z. B. findet man für \(n=2\) den folgenden Satz: Unter \(m\) konjugierten ganzen algebraischen Zahlen \(\xi _1\),\dots, \(\xi _m\) gibt es mindestens ein Paar \(\xi _i\), \(\xi _j\), für das \[ |\,\xi _i-\xi _j\,|\geqq \sqrt{\dfrac{3}{2}}. \]