Abstract
For a large class of finite dimensional inner product spaces V, over division \(*\)-rings F, we consider definable relations on the subspace lattice \(\mathsf{L}(V)\) of V, endowed with the operation of taking orthogonals. In particular, we establish translations between the relevant first order languages, in order to associate these relations with definable and invariant relations on F—focussing on the quantification type of defining formulas. As an intermediate structure we consider the \(*\)-ring \(\mathsf{R}(V)\) of endomorphisms of V, thereby identifying \(\mathsf{L}(V)\) with the lattice of right ideals of \(\mathsf{R}(V)\), with the induced involution. As an application, model completeness of F is shown to imply that of \(\mathsf{R}(V)\) and \(\mathsf{L}(V)\).
Similar content being viewed by others
References
Berberian, S.K.: Baer \(\ast \)-Rings, Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen 195. Springer, Berlin, Heidelberg (1972)
Crawley, P., Dilworth, R.P.: Algebraic Theory of Lattices. Prentice-Hall, Englewood (1973)
Day, A., Herrmann, C., Jónsson, B., Nation, J.B., Pickering, D.: Small non-Arguesian lattices. Algebra Universalis 31, 66–94 (1994)
Faure, C.A., Frölicher, A.: Modern Projective Geometry. Kluwer, Dordrecht (2000)
Gross, H.: Quadratic Forms in Infinite Dimensional Vector Spaces. Birkhäuser, Basel (1979)
Herrmann, C., Ziegler, M.: Computational Complexity of Quantum Satisfiability. J. ACM 63, 2 (2016). (article no. 19)
Hodges, W.: Model Theory. Cambridge University Press, Cambridge (1993)
Jónsson, B.: Arguesian lattices of dimension \(n\le 4\). Math. Scand 7, 133–145 (1959)
Marker, D.: Model Theory, Springer GTM vol. 217 (2002)
von Neumann, J.: Continuous Geometry. Princeton Landmarks in Mathematics, no. 25. Princeton University Press (1960)
Whiteley, W.: Logic and invariant theory. I. Invariant theory of projective properties. Trans. Am. Math. Soc. 177, 121–139 (1973)
Whiteley, W.: Logic and invariant computation. J. Symb. Comput. 11, 549–578 (1991)
Author information
Authors and Affiliations
Corresponding author
Additional information
In memory of Bjarni Jónsson.
This article is part of the topical collection “In memory of Bjarni Jónsson” edited by J. B. Nation
The second author acknowledges co-funding to EU H2020 MSCA IRSES project 731143 by the International Research and Development Program of the Korean Ministry of Science and ICT, Grant NRF-2016K1A3A7A03950702.
Rights and permissions
About this article
Cite this article
Herrmann, C., Ziegler, M. Definable relations in finite-dimensional subspace lattices with involution. Algebra Univers. 79, 68 (2018). https://doi.org/10.1007/s00012-018-0553-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-018-0553-5