Miquelian theorems in Minkowski planes. I (Q1345333)

Ist \(K\) eine scharf 3-fach transitive Menge von Permutationen der mindestens 3 elementigen Menge \(\Omega\), so nennt der Verfasser die Inzidenzstruktur \((\Omega \times \Omega, K)\) mit der Punktmenge \(\Omega \times \Omega\) und der Kreismenge \(K\) eine \((B^*)\)-Geometrie. (Hierbei wird jede Permutation von \(\Omega\) mit ihrem Graph \(\subset \Omega \times \Omega\) identifiziert.) Operieren zusätzlich für alle \((\omega,k) \in \Omega \wedge K\) die Permutationsmengen \(\{\text{id}_ \Omega\} \cup \{f^{-1} \circ k \mid k \in K, \text{Fix} (f^{-1} \circ k) = \{\omega\}\}\) regulär auf \((\Omega \setminus \{\omega\}) \times \Omega\), so ist \((\Omega \times \Omega, K)\) eine Minkowski-Ebene. In den klassischen Beispielen ist \(\Omega := F \cup \{\infty\}\) und \(K = \text{PGL}(2,F)\) für einen Körper \(F\). Für diese klassischen Minkowski- Ebenen gilt insbesondere eine aus 8 Punkten und 6 Kreisen bestehende Konfiguration, der sogenannte Satz von Miquel, welcher mit einigen seiner Ausartungen in verschiedenen Koordinatisierungstheoremen eine zentrale Rolle spielt. Der Verfasser studiert in \((B^*)\)-Geometrien und in Minkowski-Ebenen die logischen Abhängigkeiten zwischen Miquelschem Satz und seinen Ausartungen.