Categories of orthogonality spaces

JOURNAL OF PURE AND APPLIED ALGEBRA

卷:226

Article

Paseka, Jan¹  Vetterlein, Thomas² 

[1] Masaryk Univ, Dept Math & Stat, Kotlarska 2, Brno 61137, Czech Republic

[2] Johannes Kepler Univ Linz, Inst Math Methods Med & Data Based Modeling, Altenberger Str 69, A-4040 Linz, Austria

关键词: Orthogonality spaces;    Undirected graphs;    Categories;    Boolean subalgebras;    Linear orthogonality spaces;    Generalised semilinear map;   

DOI  :  10.1016/j.jpaa.2021.106859

来源: Elsevier

【 摘 要 】

An orthogonality space is a set equipped with a symmetric and irreflexive binary relation. We consider orthogonality spaces with the additional property that any collection of mutually orthogonal elements gives rise to the structure of a Boolean algebra. Together with the maps that preserve the Boolean substructures, we are led to the category NOS of normal orthogonality spaces. Moreover, an orthogonality space of finite rank is called linear if for any two distinct elements e and f there is a third one g such that exactly one of f and g is orthogonal to e and the pairs e, f and e, g have the same orthogonal complement. Linear orthogonality spaces arise from finite-dimensional Hermitian spaces. We are led to the full subcategory LOS of NOS and we show that the morphisms are the orthogonality-preserving lineations. Finally, we consider the full subcategory OS pound of LOS whose members arise from positive definite Hermitian spaces over Baer ordered *-fields with a Euclidean fixed field. We establish that the morphisms of OS pound are induced by generalised semiunitary mappings. (c) 2021 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).

【 授权许可】

Free