Different orthomodular orthocomplementations on a lattice (Q580385)

In the axiomatic approach to quantum mechanics the lattice L of closed subspaces of a separable Hilbert space is called the standard quantum logic. The author constructs Hilbert lattices M which have all important ortholattice properties of L, but admit, on M as a lattice, infinitely many different orthomodular orthocomplementations. The quantum logics M are lattices of orthoclosed subspaces of separable orthomodular spaces. Orthomodular spaces are vector spaces E over a field K with involution * provided with a (bilinear, definite) *-semiproduct \(f: E\times E\to K\) such that the projection theorem \(E=U^{\perp}+U^{\perp \perp}\) holds for orthoclosed subspaces \(U^{\perp}\) of E. The spaces E, used in constructing the new quantum logics M, carry a topology induced by a (non- archimedean) Krull-valuation on K. The notion of a topological type is used to distinguish the different orthomodular orthocomplementations on the lattice M. It is well-known that the standard quantum logic carries (up to isomorphism) only one orthomodular orthocomplementation.