On a class of orthomodular quadratic spaces
type: Item
instance of: scholarly article
title: On a class of orthomodular quadratic spaces
zbMATH Open document ID: 0603.46030
author: Herbert Gross
author: Urs-Martin Künzi
published in: L'Enseignement Mathématique. 2e Série
publication date: 1985-01-01T00:00:00Z
review text: 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].
Mathematics Subject Classification ID: 46C99
Mathematics Subject Classification ID: 11E04
Mathematics Subject Classification ID: 06C15
Mathematics Subject Classification ID: 81P99
Mathematics Subject Classification ID: 15A63
zbMATH DE Number: 3973592
zbMATH Keywords: anisotropic sesquilinear form
zbMATH Keywords: orthogonality relation
zbMATH Keywords: orthomodular space
zbMATH Keywords: non-archimedean ordered field
zbMATH Keywords: field of formal power series
zbMATH Keywords: inifnite dimensional quadratic form theory
zbMATH Keywords: propositional systems
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 3973592