Extending some induced substructures of an inversive plane (Q281324)

An inversive plane is an incidence structure of points and circles such that: (1) any three points are contained in exactly one circle; (2) if \(a\) and \(b\) are points with \(a\) incident with circle \(C\) but \(b\) is not, then there is a unique circle \(D\) containing \(a\) and \(b\) and \(a\) is the sole point of intersection of the two circles; (3) there are four points not on a common circle. Let \({\mathcal C}_i\) be the sets of circles meeting \(C\) in \(i\) points for a given circle \(C\). \newline The author proves the following results. (1) Given an inversive plane \({\mathcal I}_1\) of even order \(q\) greater than 4 and \(C\) a circle. If \(({\mathcal P}, \{C\} \cup {\mathcal C}_0 \cup {\mathcal C}_2)\) is an induced substructure of an inversive plane \({\mathcal I}_2\) of order \(q\) then \({\mathcal I}_1={\mathcal I}_2\). (2) Given an inversive plane \({\mathcal I}_1\) of even order \(q\) greater than 4 and \(C\) a circle. Let \(a,b\) be distinct points on the circle and let \(C_{a,b}\) be some circle disjoint from \(C\) through \(a\) and \(b\) and let \({\mathcal C}_2^* = \{ C_{a,b} \;| \;a, b \in C, a \neq b \}.\) If \(({\mathcal P}, \{ C \} \cup {\mathcal C}_0 \cup {\mathcal C}_1 \cup {\mathcal C}_2^*)\) is an induced substructure of an inversive plane \({\mathcal I}_2\) of order \(q\) then \({\mathcal I}_1 = {\mathcal I}_2.\) (3) Let \({\mathcal I}_1\) be an inversive plane of order \(n \geq 3\) and \(C\) a circle of \({\mathcal I}_1\). If \(({\mathcal P}, \{C\} \cup {\mathcal C}_0 \cup {\mathcal C}_2 )\) is an induced substructure of an inversive plane \({\mathcal I}_2\) of order \(n\), then \({\mathcal I}_1 = {\mathcal I}_2\).