Theory of linear forms with integral coefficients.
Enthält eine Form einer bilinearen Classe \((\bmod k)\) \(r+r\) Variable und keine weniger als \(r+r\), so heisst \(r\) der Rang der Classe \((\bmod k)\). Damit zwei Formen \((\bmod k)\) äquivalent sind, ist es nothwendig und hinreichend, dass sie in Bezug auf jeden Divisor von \(k\) denselben Rang haben. Bezeichnet man mit \((A,k)\) die Anzahl der durch \(A\) dargestellten incongruenten Werthsysteme \(\bmod k\), so kann die Aequivalenz von \(A\) und \(B\) auch durch \((A,h)=(B,h)\) für jeden Theiler \(h\) von \(k\) ausgedrückt werden. Jede bilineare Form lässt sich auf eine Weise in eine reducirte Form \(A\equiv \sum^r_1 g_\lambda x_\lambda y_\lambda (\bmod k)\) überführen; dabei ist \(r\) der Rang der Form, alle \(g\) sind Theiler von \(k\), und \(g_\lambda\) ein Theiler von \(g_{\lambda+1}\); es heisse \(g_\lambda\) die \(\lambda^{\text{te}}\) Invariante von \(A(\bmod k)\); dann folgt die Aequivalenz zweier Formen aus der Gleichheit der entsprechenden Invarianten, und umgekehrt. Die Invarianten hängen derart mit den Elementartheilern zusammen, dass die \(\varrho^{\text{te}}\) Invariante einer Form \((\bmod k)\) der grösste gemeinsame Divisor von \(k\) und dem \(\varrho^{\text{ten}}\) Elementartheiler der Form ist. Sind zwei bilineare Formen \((\bmod k)\) äquivalent, so kann die eine durch unimodulare Substitutionen in eine der anderen congruente transformirt werden, ausser wenn in ihnen die Anzahl der Variabeln jeder Reihe dem Range \(n\) gleich ist. Ist in letzterem Falle \(h\) der grösste gemeinsame Theiler ihrer Determinanten \((n-1)^{\text{ten}}\) Grades \(\text{mod.}k\), so ist, damit die eine durch unimodulare Substitutionen in eine der andern congruente transformirt werden könne, nothwendig und hinreichend, dass ihre Determinanten \(n^{\text{ten}}\) Grades \(\bmod hk\) congruent sind.
This page was built for publication: Theory of linear forms with integral coefficients.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1550809)
