Ueber die Galois'sche Gruppe der Gleichung \(28^{\text{ten}}\) Grades, von welcher die Doppeltangenten einer Curve vierter Ordnung abhängen. (Q1543355)

Damit die Gerade \(y=\theta(x-\xi)\) eine Doppeltangente der Curve vierter Ordnung \(F(x,y)=0\) sei, muss \(F(x,\theta(x-\xi))=0\) ein Quadrat werden. Die Elimination von \(\theta\) führt auf die ``Doppeltangentengleichung'' \(28^{\text{ten}}\) Grades für \(\xi\). Aus den Wurzeln derselben lassen sich auf 288 Arten je 7, z. B. \(\xi_1,\xi_2,\dots,\xi_7\), so auswählen, dass die andern rational durch diese darstellbar sind, und zwei der 7, z. B. \(\xi_1,\xi_2\), lassen sich beliebig wählen. Die übrigen 21 Wurzeln \(\xi_{h,k}=\xi_{k,h}\) \((h,k=1,2,\dots,7)\) können rational durch diese mittels einer einzige Formel dargestellt werden \[ \xi_{h,k}=f(\xi_h,\xi_k|\xi_l,\dots, \xi_n), \] wobei eine Vertauschung der \(\xi_l,\dots,\xi_n\) unter einander \(\xi_{h,k}\) nicht beeinflusst. Durch die Charakteristiken der Abel'schen Functionen vom Geschlecht drei können die Aenderungen bestimmt werden, denen die linke Seite der obigen Gleichung unterliegt, wenn die Wurzeln rechts beliebig gewählt werden. Sieben so gewählte Wurzeln bilden ein ``Siebener-System''. Dies lässt alle \(7!\) Substitutionen seiner Elemente zu; fügt man zu dieser Gruppe die 288 Substitutionen, welche das eine Siebener-System in alle vorhandenen umwandelt, so erhält man die ``Galoi'sche Gruppe'' der Doppeltangentengleichung, die zweifach transitive Gruppe \(G\). Aus einer übersichtlichen Darstellung und Bezeichnung ihrer Substitutionen folgt, dass sie unter der alternirenden Gruppe enthalten ist, so dass also die Discriminante der Gleichung das Quadrat einer rationalen Function ist. \(G\) ist ferner einfach. Es werden dann die nicht ausgezeichneten Untergruppen von \(G\) untersucht; zuerst findet sich eine transitive Gruppe von \(8!\) Substitutionen, deren zugehörige Functionen demnach als Wurzeln von Gleichungen des \(36^{\text{ten}}\) Grades auftreten. Eine zweite Untergruppe, von der \(6!\,72\) ist, wie Geiser bemerkte, mit der Gruppe derjenigen Gleichung \(27^{\text{ten}}\) Grades identisch, von welcher die 27 Geraden auf einer allgemeinen Fläche dritter Ordnung abhängen. Endlich werden zwei Untergruppen der Ordnungen \(6!32\) und \(6!6\) erwähnt. Die Existenz der letzteren zeigt, dass sich auf 336 Arten 18 Doppeltangenten auswählen lassen, welche drei Brianchon'sche Sechsecke bilden.