On linear substitutions of determinant unity with integral coefficients. (Q1502480)

Jede Matrize von \(n\) Reihen und Kolonnen, deren Elemente rationale ganze Zahlen sind, und deren Determinante die Einheit ist, kann durch Multiplikation der beiden Matrizen gebildet werden: \[ \left| \begin{matrix} 1 & 1 & 0 & 0 & \dots & 0 \\ 0 & 1 & 0 & 0 & \dots & 0 \\ 0 & 0 & 1 & 0 & \dots & 0 \\ . & . & . & . & \dots & . \\ 0 & 0 & 0 & 0 & \dots & 1 \end{matrix} \right|\;\text{ und }\;\left| \begin{matrix} 0 & \varrho_2 & 0 & 0 & \dots & 0 \\ 0 & 0 & \varrho_3 & 0 & \dots & 0 \\ 0 & 0 & 0 & \varrho_4 & \dots & 0 \\ . & . & . & . & \dots & . \\ \varrho_1 & 0 & 0 & 0 & \dots & 0 \end{matrix} \right|\,. \] In der zweiten Matrize bedeutet jedes \(\varrho\) entweder \(+1\) oder \(-1\), jedoch mit der Beschränkung, daß\ \(\varrho_1 \varrho_2 \dots \varrho_n = (-1)^{n - 1}\) sein muß. Der Satz wird durch das Beweisverfahren von \(n - 1\) auf \(n\) als richtig nachgewiesen. Vgl. \textit{Messenger} (2) 24, 109-112 (F. d. M. 25, 211, 1894, JFM 25.0211.01), wo der Verf. ihn für \(n = 3\) aufgestellt hat.