Die von den harmonischen Involutionen einer euklidischen Möbiusebene erzeugte Gruppe. (The group generated by harmonic involutions of an Euclidean Möbius plane) (Q809351)

Ein euklidischer Körper ist ein angeordneter kommutativer Körper, in dem jedes positive Element Quadrat ist. Die Möbiusebenen über euklidischen Ebenen sind besonders wichtig, da in ihnen und nur in ihnen die elementare Kreisgeometrie voll gilt. So ist der Satz, der in dieser Arbeit bewiesen wird, höchst willkommen: Satz: Existiert zu je zwei Punkten A,B einer Möbiusebene \(\Sigma\) ein involutorischer Automorphismus \(\sigma_{AB}\), der den Punkt P von \(\Sigma\) genau dann festläßt, wenn \(P\in \{A,B\}\) gilt, und besitzt jedes Element \(\neq id\) aus der von dieser Involutionsmenge H erzeugten Gruppe \(<H>\) mindestens einen, aber höchstens 5 Fixpunkte, so ist \(\Sigma\) Möbiusebene über einem euklidischen Körper.