Über \(n\)-dimensionale Gittertransformationen. (Q2611523)

Verf. behandelt das Problem der abstrakten Definition der Gruppe der \(n\)-dimensionalen Gittertransformationen, d. h. der Gruppe aller linearen ganzzahligen homogenen Substitutionen von \(n\) Veränderlichen mit der Determinante \(\pm 1\). Für \(n=3\) wurde das Problem von \textit{J. Nielsen} (Meddelelser København 5, Nr. 12 (1924), S. 3-29; F. d. M. 50, 74 (JFM 50.0074.*)), allgemein von \textit{J. A. de Séguier} (C. R. 179 (1924), 139-142; F. d. M. 50, 74 (JFM 50.0074.*)) gelöst. Die neue Herleitung rechtfertigt sich durch die Undurchsichtigkeit der \textit{Seguier}schen Skizze eines Beweises, dann aber auch durch ihre Methode, die den allgemeinen Fall auf den Fall \(n = 3\) zurückführt. Es wird zunächst eine Normalform der allgemeinen Substitution angegeben unter Benutzung der Elemente \[ \left.\begin{matrix} \l&\,\l&\,\l&\l\\ O_{i-1}&:\;x_{i-1}'&=-x_{i-1}&;\;\,x_k'=x_k \text{ \;für \;} k\neq i-1\\ D_{i-1,i}&:\;x_{i-1}'&=x_{i-1}+x_i&;\;\,x_k'=x_k \text{ \;für \;} k\neq i-1\\ D_{i,i-1}&:\;x_i'&=x_i+x_{i-1}&;\;\,x_k'=x_k \text{ \;für \;} k\neq i \end{matrix}\right\} \begin{matrix} \l\\ i=2,\ldots,n\\ k=1,2,\ldots,n, \end{matrix} \] die bekanntlich die ganze Gruppe erzeugen, und Elementen der Untergruppen, deren Elementen Matrizen entsprechen, die in der Hauptdiagonale lauter Einsen, oberhalb lauter Nullen haben. Man hat nun, um ein volles Relationensystem zu erhalten, Relationen anzugeben, die es gestatten, (1) jeden Ausdruck in den Erzeugenden auf die Normalform zu bringen, (2) jede Normalform, die die Einheitsmatrix darstellt, in das Einheitselement der abstrakten Gruppe zu verwandeln. Diese Aufgabe wird durch Angabe eines vollen Relationensystems und durch den Nachweis der Eindeutigkeit der Normalform gelöst. Den Schluß machen einige Bemerkungen über die zu der Gruppe gehörigen Kongruenzgruppen und eine Verschärfung eines Satzes von \textit{Nielsen} über die Automorphismengruppe der freien Gruppe in \(n\) Erzeugenden.