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