×

Commutativity in orthomodular posets. (English) Zbl 0549.06002

Although he finds motivation for his paper in the axiomatic approach to quantum mechanics, of Mackie and Maczynski, the author is here presenting an abstract mathematical discussion of the commutation relation in orthomodular posets. The author gives a very clear and concise summary of previous results, especially as they concern regular, and also Boolean orthomodular posets. He generalises a result due to Guz, showing that if an orthomodular poset P is Boolean, then aCb iff \(a\wedge b\) exists in P. He also presents a method of constructing Boolean orthomodular posets which are not regular - i.e. which have mutually compatible elements which are not contained in a single Boolean subalgebra. Although there is no discussion of physical considerations here, such results are clearly of special interest to those concerned with the axiomatic, or orthomodular, approach to quantum mechanics.
Reviewer: R.Wallace Garden

MSC:

06A06 Partial orders, general
06C15 Complemented lattices, orthocomplemented lattices and posets
81P10 Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)
Full Text: DOI

References:

[1] Finch, P. D., Journal of Symbolic Logic, 34, 275-283 (1969) · Zbl 0205.00803
[2] Guz, W., O podstawach aksjomatycznych klasycznej i kwantowej mechaniki statystycznej (1977), Wyd. Uczel. Uniw. Gd: Wyd. Uczel. Uniw. Gd Gdańsk
[3] Mackey, W., The mathematical foundation of quantum mechanics (1963), W.A. Benjamin Inc: W.A. Benjamin Inc New York · Zbl 0114.44002
[4] Ma̧czyński, M. J., Reports Math. Phys., 2, 135 (1971) · Zbl 0222.02071
[5] Ma̧czyński, M. J.; Traczyk, T., Bull. Acad. Polon. Sci., Ser. Sci. Math. Astr. et Phys., 21, 3-8 (1973) · Zbl 0265.06003
[6] Varadarajan, V. S., Geometry of quantum theory, Vol. 1 (1968), Van Nostrand: Van Nostrand Princeton · Zbl 0155.56802
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.