o-Epimorphismen angeordneter projektiver Ebenen. (o-epimorphisms of ordered projective planes) (Q1086841)

Ziel der vorliegenden Arbeit ist es, für eine Klasse von angeordneten projektiven Ebenen eine topologische Kennzeichnung aller ordnungserhaltenden Epimorphismen zu geben. Dazu wird zunächst gezeigt, daß jeder Epimorphismus \(\phi\) von einer angeordneten projektiven Ebene E auf eine Ebene E' genau dann die Anordnung auf E' so überträgt, daß er ein o-Epimorphismus ist, wenn für alle x'\(\in E'\) die Menge \(\phi^{-1}(x')\) konvex ist. Ein entsprechender Satz wird für eine Stelle eines angeordneten Ternärkörpers auf einen Ternärkörper gezeigt. Satz 7 besagt, daß für je zwei o- Epimorphismen \(\phi_ 1,\phi_ 2: E\to E'\), wobei E angeordnet ist und eine archimedisch angeordnete Unterebene F enthält, und für alle x',y'\(\in E'\) gilt: \(\phi_ 1(x')\subset \phi_ 2(x')\) oder \(\phi_ 1(x')\supset \phi_ 2(x')\), und aus \(\phi_ 1(x')\subset \phi_ 2(x')\) folgt \(\phi_ 1(y')\subset \phi_ 2(y')\). Wie die Autorin inzwischen mitteilt und in einer weiteren Note darlegen wird, ist diese Aussage i.a. nicht richtig, wenn nicht noch zusätzlich gefordert wird, daß \(\phi_ 1(F)\) und \(\phi_ 2(F)\) nicht ausgeartet sind. Eine ensprechende Einschränkung ist für die auf diese Aussage zurückgeführten Sätze 9-11 notwendig. Hierin werden die in Rede stehenden o-Epimorphismen durch Uniformitäten von E beschrieben, deren Topologien auf ganz E gröber und in einer projektiven Unterebene von E feiner als die Anordnungstopologie auf E sind und noch weiteren Bedingungen genügen.