A proof of the theorem of Pappus in finite Desarguesian affine planes (Q1098092)

Es ist ein natürliches, legitimes Bestreben in der synthetischen Geometrie, die Äquivalenz zweier Schließungssätze synthetisch einsehen zu können. Die größte Schwachstelle dieses Konzepts war, daß wegen der Kommutativität endlicher Körper in endlichen Ebenen zwar der Satz von Desargues den Satz von Pappos nach sich zieht, daß man aber über keinen befriedigenden synthetischen Beweis dieser Tatsache verfügte. Die vorliegende Arbeit ist ein erfolgreicher Versuch, diese Blöße zuzudecken. Aus der reinen synthetischen Geometrie bricht die Verf. nur ganz zum Schluß ihres Beweises aus, wo sie einige einfache Tatsachen über Kreisteilungspolynome verwendet (die auch im Wittschen Beweis des Satzes von Wedderburn eine Rolle spielen), um eine kombinatorisch gefundene Identität zu verifizieren. Ob ihr im übrigen (bis vielleicht auf die Notation) sehr schöner Beweis den Schlußstein der synthetischen Anstrengungen bedeutet, in endlichen Ebenen den Papposschen aus dem Desarguesschen Satz zu folgern, wird die Zukunft erweisen.