Ueber die quaternäre, endliche, lineare Substitutionsgruppe der Borchardt'schen Moduln. (Q1539769): Difference between revisions

Die Gruppe wurde von Herrn F. Klein zuerst aus der Liniengeometrie abgeleitet; später fand derselbe, dass die Borchardt'schen Moduln der hyperelliptischen Functionen vom Geschlechte 2 sich nach derselben Gruppe linear substituiren. Die in den Punktcoordinaten \(z_1,\dots,z_4\) geschriebene Gruppe ist von der Ordnung \(H = 7.640\); sie hat eine ausgezeichnete Untergruppe der Ordnung \(\frac 12 N\) und eine in dieser ausgezeichnete der Ordnung 64. Die letztere lässt das Tetraeder \(z_1z_2z_3z_4=0\) fest und enthält nur vierte Einheitswurzeln. Für sie bilden die Formen \[ z_1^4+\cdots +z_4^4 = \varphi,\quad z_1^1z_2^2+z_3^2z_4^2=\psi_2,\quad z_1^2z_3^2+z_2^2z_4^2=\psi_3, \] \[ z_1^2z_4^2+ z_2^2z_3^2=\psi_4,\quad z_1z_2z_3z_4=\chi \] das volle System invarianter Formen. Aus diesen Grössen werden sechs andere Formen \(\varPhi_i\) zusammengesetzt, welche sich bei Anwendung der Gruppe von der Ordnung \(\frac 12N\) nur unter einander vertauschen (ohne zutretenden Factor), und aus den symmetrischen Functionen derselben lässt sich dann das volle Formensystem der Gruppe ableiten. Am Schlusse der Arbeit in den Math. Ann. wird der Zusammenhang der Gruppe mit den Borchardt'schen Moduln behandelt.