Published online by Cambridge University Press: 20 November 2018
Sei ein (nicht notwendig kommutativer) Körper, sei ein (ebenfalls nicht notwendig kommutativer) echter Unterkörper von . Mit bezeichnen wir die projektive Gerade über , d.h. die Menge , wo ∞ ein neues (in die Betrachtung hereinkommendes) Element, genannt “unendlich”, darstellt. Ist entsprechend , so ist also (dasZeichen ⊂ bezeichne echtes Enthaltensein). Die Elemente von nennen wir Punkte, die Punktmengen die projektive Gruppe von (s. § 1) darstellt, nennen wir Ketten. Eine eineindeutige Abbildung der Menge der Punkte auf sich, die in beiden Richtungen Ketten in Ketten überführt, heiße eine Kettenverwandtschaft.Diese Forderung, daß nämlich Bilder und Urbilder von Ketten wieder Ketten sind, kann (s. § 4) (wenn im Zentrum von liegt) reduziert werden so, daß nur Ketten in Ketten übergehen sollen. Dann liegt nämlich bereits eine Kettenverwandtschaft vor.