On the group of the twenty-seven lines of a cubic surface. (Q1490144)

Zu den 27 Geraden einer \(F^{(3)}\) gehört eine Gruppe \(G\) der Ordnung 51840 die alle die Substitutionen umfaßt, welche schneidende Geraden in ebensolche überführt. \(G\) besitzt eine invariante Untergruppe \(H\) vom Index 2, die sich als (nicht reelle) Kollineationsgruppe im dreidimensionalen Raume darstellen läßt. In dieser Form war die Gruppe \(H\) zuerst von \textit{F. Klein} gefunden und von \textit{Witting} näher untersucht worden. Es mag bemerkt werden, daß sich die Kollineationsgruppe \(H\) durch Hinzunahme von Kollineationen zu einer mit \(G\) isomorphen Gruppe erweitern läßt. \textit{Burkhardt} hatte durch Einführung von Linienkoordinaten gefunden, daß sich \(G\) als Gruppe linearer Substitutionen von sechs Veränderlichen mit rationalen Koeffizienten schreiben läßt. Dieses Resultat wird in der vorliegenden Arbeit in einfachster Weise hergeleitet und dahin ergänzt, daß man auch mit ganzen Koeffizienten auskommt. Die Methode besteht darin, daß die 27 Geraden Linearformen von sechs Unbestimmten \(x, y, z, u, v, w\) zugeordnet werden, mit der Bedingung, daß die Summe dreier Linearformen, die den Geraden eines Dreiecks entsprechen, \(0\) ist. Man erreicht dies, indem man den Geraden \(a,b,c,d,e,f\) einer halben Doppelsechs die Unbestimmten selbst oder irgend sechs unabhängige Linearformen derselben zuordnet. Dann ist die übrige Zuordnung völlig bestimmt, die Permutationen der Geraden gehen in solche der Linearformen über, und diese stellen sich unmittelbar als die Substitutionen der gesuchten linearen Gruppe dar. Wenn man insbesondere den Geraden \(a,\dots,f\) die Formen \[ 3x-y,y-z,z-u,u-v,v-w,w \] zuordnet, so erhält man ganzzahlige Koeffizienten.