Konstruktion archimedischer Anordnungen von freien Ebenen (Q1155250): Difference between revisions

The theorem is proved that every finitely generated free projective plane admits at least one archimedean order. Using a characterization of the archimedean ordered projective planes due to \textit{S. Priess-Crampe} [Math. Z. 99, 305--348 (1967; Zbl 0149.38601)] the above theorem yields the corollary: Every finitely generated free projective plane can be embedded as a projective subplane in a topological plane which is homeomorphic with the real projective plane.