The authors consider a space with congruence \((P,{\mathcal L},\equiv)\) not assuming any other geometrical properties. They only assume that the space satisfies the exchange property i.e., the linear space \((P,{\mathcal L})\) satisfies the following exchange condition. Let \(S\subset P\) and let \(x,y\in P\) with \(x\in\overline{S\cup\{y\}}\setminus\overline S\). Then \(y\in\overline{S\cup\{x\}}\), where \(\overline{\phantom{S}}\) is a closure operation for subset \(X\subset P\). They show that for any line \(G\) of a plane \(E\) and any point \(x\in G\) there is a unique perpendicular line through \(x\) in \(E\) and that any line reflection is a motion if the dimension of the space is greater than 2. It follows that for any two points \(b\), \(z\) there exists a unique point \(b'\in\overline{z,b}\setminus\{b\}\) with \((z, b)\equiv(z, b')\) and also point reflections are motions.
- A remark about absolute planes
- Ebenen mit Kongruenz
- scientific article; zbMATH DE number 47663 (Why is no real title available?)
- scientific article; zbMATH DE number 877096 (Why is no real title available?)
- scientific article; zbMATH DE number 3393284 (Why is no real title available?)
- Hyperbolic spaces
- Pseudo-Euklidische Ebenen und Euklidische Räume
- Recent developments on absolute geometries and algebraization by K-loops
- Reflection loops of spaces with congruence and hyperbolic incidence structure.
This page was built for publication: Spaces with congruence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2467999)
