Article
Keywords:
orthomodular lattice; orthomodular poset; centres; orthocomplemented posets; concrete logics
Summary:
It is shown that for any quantum logic $L$ one can find a concrete logic $K$ and a surjective homomorphism $f$ from $K$ onto $L$ such that $f$ maps the centre of $K$ onto the centre of $L$. Moreover, one can ensure that each finite set of compatible elements in $L$ is the image of a compatible subset of $K$. This result is "best possible" - let a logic $L$ be the homomorphic image of a concrete logic under a homomorphism such that, if $F$ is a finite subset of the pre-image of a compatible subset of $L$, then $F$ is compatible. Then $L$ must be concrete. In the second part one considers embeddings into concrete logics. It is shown that any concrete logic can be embedded into a concrete logic with preassigned centre and an abundance of two-valued measures. Finally, one proves that an arbitrary logic can be mapped into a concrete logic by a centrally additive mapping which preserves the ordering and complementation.
References:
[1] V. Alda:
On 0-1 measures for projectors. Aplikace Matematiky 26, 57-58 (1981).
MR 0602402
[2] L. J. Bunce D. M. Wright:
Qantum measures and states on Jordan algebras. Comm. Math. Phys. (To appear).
MR 0786572
[4] R. Godowski:
Varieties of orthomodular lattices with a strongly full set of states. Demonstration Mathematica, Vol. XIV, No. 3, (1981).
MR 0663122 |
Zbl 0483.06007
[7] P. Pták:
Weak dispersion-free states and the hidden variables hypothesis. J. Math. Physics 24 (4), 839-840(1983).
DOI 10.1063/1.525758 |
MR 0700618
[9] S. Pulmannová:
Compatibility and partial compatibility in quantum logics. Ann. Inst. Henri Poincaré, Vol. XXXIV, No. 4, 391-403 (1981).
MR 0625170
[11] V. Varadarajan:
Geometry of Quantum Theory I. Von Nostrand, Princeton (1968).
MR 0471674