On geometric representations of modular ortholattices
The authors study special symmetric binary relations \(\bot \) on a projective space \(P\). Such a relation is called a \textit{pre-orthogonality} iff \(p^\bot :=\{q\in P : q\bot p\}\) is a subspace of \(P\) for all points \(p\in P\). It is called \textit{orthogonality} iff \(p^\bot\) is a hyperplane for all \(p\in P\). A pre-orthogonality is called \textit{anisotropic} iff \(p\bot p\) never holds. The subgeometries of any projective geometry \(P\) give rise to an algebraic complemented modular lattice \(L(P)\). For a subgeometry \(Q\) of \(P\) there is an evident join semilattice embedding \(\varphi : L(Q) \rightarrow L(P)\). \(Q\) is called a \textit{Baer subgeometry} iff \(\varphi\) is even a lattice embedding. The main results comprise the following: If \(\bot\) is an anisotropic pre-orthogonality on \(P\), then \(Q:= \{p\in P : p + p^\bot = P \}\) is a Baer subgeometry of \(P\) and the induced pre-orthogonality on \(Q\) is an anisotropic orthogonality (\(+\) denotes the join of subspaces) (Theorem 5.1). Let \(L\) be a modular lattice equipped with an orthocomplementation \(^\prime\), which is 0-1-embedded by \(\varphi\) into a modular 0-1-lattice \(M\), and let \(M\) carry an anisotropic pre-orthogonality \(\bot\), such that \(\varphi(a)\bot\varphi(a^\prime)\) for all \(a\in L\). If there is a non-void ``Baer subgeometry \(Q\) (defined as in Theorem 5.1) of \(M\), then \(\eta(a):=\{ p\in Q : p\leq \varphi(a)\}\) defines a representation \(\eta : L \rightarrow L(Q) \) of \((L,^\prime)\) in the anisotropic orthogeometry \((Q,\bot)\) (Theorem 6.6).
- A note on the equational theory of modular ortholattices
- Complemented Modular Lattices and Projective Spaces of Infinite Dimension
- Complemented modular lattices with involution and orthogonal geometry
- Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\)
- scientific article; zbMATH DE number 3777562 (Why is no real title available?)
- scientific article; zbMATH DE number 1179345 (Why is no real title available?)
- scientific article; zbMATH DE number 1181276 (Why is no real title available?)
- scientific article; zbMATH DE number 1517950 (Why is no real title available?)
- scientific article; zbMATH DE number 3245483 (Why is no real title available?)
- Morphisms of projective geometries and of corresponding lattices
- On rings of operators
- On the equational theory of projection lattices of finite von Neumann factors
- Three ultrafilters in a modular logic
- Complemented modular lattices with involution and orthogonal geometry
- scientific article; zbMATH DE number 4055683 (Why is no real title available?)
- On varieties of modular ortholattices that are generated by their finite-dimensional members.
- Orthosystems of submodules of a module
- Hypercontact semilattices
This page was built for publication: On geometric representations of modular ortholattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2450845)
