Rings of geometries. II (Q1113084)

Unter einem Modell einer Geometrie versteht der Verf. eine Menge X und eine Abbildung \(\phi\) der Potenzmenge von X in eine Menge Y mit der Eigenschaft, daß zu zwei Teilmengen A und B mit \(A^{\phi}=B^{\phi}\) eine Bijektion \(\gamma\) : \(A\to B\) mi \(\phi /_{A}=\gamma \phi /_{B}\) existiert. In Analogie zur Gruppenalgebra definiert er zu einem System von Geometrien einen Ring, der schon in ähnlicher Form bei \textit{P. J. Cameron} auftritt [Lect. Notes Math. 952, 34-66 (1982; Zbl 0501.05001)]. Die vorliegende Arbeit ist eine Fortsetzung von Teil I [ibid., Ser. A 44, 34-48 (1982; Zbl 0612.51008)] und behandelt die kombinatorische Theorie endlicher projektiver und affiner Ebenen. Als Beispiele ergeben sich Formeln für die Anzahl der k-Bögen in einer projektiven Ebene der Ordnung q für \(k\leq 8\). Als Forderung ergibt sich hieraus ein kurzer Beweis, daß es keine projektiven Ebenen der Ordnung 6 gibt.