Derivable nets and 3-dimensional projective spaces (Q1262525)

Author considers derivable nets as (3-sorted) structures satisfying appropriate axioms and not as substructures of a derivable plane. However in every derivable affine plane the lines meeting th derivation set yield a derivable net, i.e. they yield a structure which satisfies axioms given in the paper. The main result of the article is a representation theorem for derivable nets, formulated in terms of projective spaces. In an arbitrary (not necessarily Pappian) projective 3-space \({\mathfrak P}\) with a line \({\mathcal N}\) distinguished we construct an incidence structure \({\mathfrak N}={\mathfrak N}({\mathfrak P})\) by taking as points of \({\mathfrak N}\), the lines of \({\mathfrak P}\) skew to \({\mathcal N}\), as lines of \({\mathfrak N}\), the points of \({\mathfrak P}\) outside \({\mathcal N}\), as ``planes'', the planes of \({\mathfrak P}\) not containing \({\mathcal N}\), and as parallel classes, the planes of \({\mathfrak P}\) containing \({\mathcal N}\). This construction yields a derivable net, and, conversely, from every derivable net \({\mathfrak N}\) author constructs a projective space \({\mathfrak P}\) so that \({\mathfrak N}\) is isomorphic to \({\mathfrak N}({\mathfrak P})\).