anisotropic sesquilinear formfield of formal power seriesinifnite dimensional quadratic form theorynon-archimedean ordered fieldorthogonality relationorthomodular spacepropositional systems
Complemented lattices, orthocomplemented lattices and posets (06C15) Quadratic forms over general fields (11E04) Quadratic and bilinear forms, inner products (15A63) Inner product spaces and their generalizations, Hilbert spaces (46C99) Foundations, quantum information and its processing, quantum axioms, and philosophy (81P99)
Let E be a K-vector space equipped with an anisotropic sesquilinear form and let \(\perp\) be the associated orthogonality relation. E is called orthomodular (Kaplansky) (or hilbertian (Varadarajan)) iff E is infinite dimensional and all \(\perp\)-closed linear subspaces of E are splitting, \(X=(X^{\perp})^{\perp}\Rightarrow E=X\oplus X^{\perp}\). In 1979 Hans A. Keller discovered the first example of an orthomodular space different from classical Hilbert space (over \(K={\mathbb{R}},{\mathbb{C}},{\mathbb{H}})\). It is over a non-archimedean ordered field K; H. Gross noticed that it is possible and advantageous to view K as the field of formal power series \({\mathbb{Q}}((\Gamma))\) with the ordered abelian group \(\Gamma ={\mathbb{Z}}^{({\mathbb{N}})}\). By throwing out orderings in favour of valuations the original ideas of Keller became much more perspicuous and the construction of new examples at will became possible. The paper under review is an introduction into this topic. As a side result a list of long standing questions could be answered [\textit{H. Gross}, Contributions to general algebra 3, Proc. Conf., Vienna 1984, 181-190 (1985; Zbl 0573.06008); \textit{U.-M. Künzi}: A Hilbert lattice with a small automorphism group, to appear in Can. J. Math.]. The methods of inifnite dimensional quadratic form theory developped here have also made possible the construction of propositional systems that admit different negations [\textit{H. Gross}, Different orthomodular orthocomplementations on a vector subspace lattice, to appear in ORDER].
- Indecomposable quadratic spaces over the affine plane
- Obituary: Herbert Gross
- Bibliography on quantum logics and related structures
- Orthostructures from sesquilinear forms. A primer
- Orthomodular lattices and quadratic spaces: A survey
- A spectral theorem for matrices over fields of power series
- A scalar field for which \(c_ 0\) has no Hahn-Banach property
- Boolean quotients of orthomodular lattices
- Norm Hilbert spaces over \(G\)-modules with a convex base
- Generalized open mapping theorem for \(X\)-normed spaces
- An axiomatic basis for quantum mechanics
- Octonion orthocomplemantable modules
- Quantum logics and Hilbert space
- Generalized Keller spaces
- Norm Hilbert spaces over Krull valued fields
- Equations holding in Hilbert lattices
- scientific article; zbMATH DE number 992552 (Why is no real title available?)
- On quasi-modular spaces
- scientific article; zbMATH DE number 4144038 (Why is no real title available?)
- scientific article; zbMATH DE number 3914384 (Why is no real title available?)
- Orthosymmetric Ortholattices
- Characterization of hilbert spaces by orthomodular spaces
- scientific article; zbMATH DE number 1179345 (Why is no real title available?)
- scientific article; zbMATH DE number 1368918 (Why is no real title available?)
- scientific article; zbMATH DE number 912439 (Why is no real title available?)
- Nearly orthosymmetric ortholattices and Hilbert spaces
- On unitary groups modulo infinitesimals
- Completely hereditarily atomic OMLS
- A natural deduction system for orthomodular logic
- Test spaces and characterizations of quadratic spaces
- Spectral resolution in a Rickart comgroup
- Two families of self-adjoint indecomposable operators in an orthomodular space
This page was built for publication: On a class of orthomodular quadratic spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1082579)
