Projective embedding of certain linear spaces (Q1101951)

Verf. beweist: Es sei (P,\({\mathcal L})\) ein (linearer) Inzidenzraum mit \(| {\mathcal L}| \geq 2\), so daß es zu jeder Ebene E von (P,\({\mathcal L})\) eine projektive Ebene \((E^*,{\mathcal L}(E)^*)\) gibt mit \(E\subset E^*\), \({\mathcal L}(E):=\{X\in {\mathcal L}| X\subset E\}=\{Y\cap E| Y\in {\mathcal L}(E)^*\) mit (Y\(\cap E| \geq 2\}\) und \(3\cdot | Y\setminus E| +2<| Y|\) für jedes \(Y\in {\mathcal L}(E)^*\) mit \(Y\cap E\neq \emptyset\). Dann ist (P,\({\mathcal L})\) projektiv einbettbar, d.h. es gibt einen projektiven Raum \((P^*,{\mathcal L}^*)\) mit \(P\subset P^*\), \({\mathcal L}=\{Y\cap P| Y\in {\mathcal L}^*,| Y\cap P| \geq 2\}\) und für jedes \(x\in P^*\setminus P\) besteht \(\{\overline{x,y}^ p\cap P| y\in P\}\) aus paarweise komplanaren Geraden aus \({\mathcal L}\). Nach \textit{L. Teirlinck} [J. Comb. Theory, Ser. A 43, 291-302 (1986; Zbl 0605.51009)] ist dieser Satz richtig, falls jede Ebene E von (P,\({\mathcal L})\) endlich ist. Daher braucht Verf. nur den Fall zu beweisen, daß es eine unendliche Ebene \(E_ 0\) in (P,\({\mathcal L})\) gibt.