Skip to Main Content

Transactions of the American Mathematical Society

Published by the American Mathematical Society, the Transactions of the American Mathematical Society (TRAN) is devoted to research articles of the highest quality in all areas of pure and applied mathematics.

ISSN 1088-6850 (online) ISSN 0002-9947 (print)

The 2020 MCQ for Transactions of the American Mathematical Society is 1.43.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

 

Decompositions in Quantum Logic
HTML articles powered by AMS MathViewer

by John Harding PDF
Trans. Amer. Math. Soc. 348 (1996), 1839-1862 Request permission

Abstract:

We present a method of constructing an orthomodular poset from a relation algebra. This technique is used to show that the decompositions of any algebraic, topological, or relational structure naturally form an orthomodular poset, thereby explaining the source of orthomodularity in the ortholattice of closed subspaces of a Hilbert space. Several known methods of producing orthomodular posets are shown to be special cases of this result. These include the construction of an orthomodular poset from a modular lattice and the construction of an orthomodular poset from the idempotents of a ring. Particular attention is paid to decompositions of groups and modules. We develop the notion of a norm on a group with operators and of a projection on such a normed group. We show that the projections of a normed group with operators form an orthomodular poset with a full set of states. If the group is abelian and complete under the metric induced by the norm, the projections form a $\sigma$-complete orthomodular poset with a full set of countably additive states. We also describe some properties special to those orthomodular posets constructed from relation algebras. These properties are used to give an example of an orthomodular poset which cannot be embedded into such a relational orthomodular poset, or into an orthomodular lattice. It had previously been an open question whether every orthomodular poset could be embedded into an orthomodular lattice.
References
Similar Articles
  • Retrieve articles in Transactions of the American Mathematical Society with MSC (1991): 81P10, 06Cxx, 03G15
  • Retrieve articles in all journals with MSC (1991): 81P10, 06Cxx, 03G15
Additional Information
  • John Harding
  • Affiliation: Department of Mathematics, Brandon University, Brandon, Manitoba, R7A 6A9, Canada
  • Email: Harding@Buster.BrandonU.Ca
  • Received by editor(s): November 22, 1994
  • Additional Notes: Research supported by the Natural Sciences and Engineering Research Council of Canada
  • © Copyright 1996 American Mathematical Society
  • Journal: Trans. Amer. Math. Soc. 348 (1996), 1839-1862
  • MSC (1991): Primary 81P10, 06Cxx, 03G15
  • DOI: https://doi.org/10.1090/S0002-9947-96-01548-6
  • MathSciNet review: 1340177