# On the concreteness of quantum logics

Pavel Pták; John David Maitland Wright

Aplikace matematiky (1985)

- Volume: 30, Issue: 4, page 274-285
- ISSN: 0862-7940

## Access Full Article

top## Abstract

top## How to cite

topPták, Pavel, and Wright, John David Maitland. "On the concreteness of quantum logics." Aplikace matematiky 30.4 (1985): 274-285. <http://eudml.org/doc/15405>.

@article{Pták1985,

abstract = {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.},

author = {Pták, Pavel, Wright, John David Maitland},

journal = {Aplikace matematiky},

keywords = {orthomodular lattice; orthomodular poset; centres; orthocomplemented posets; concrete logics; orthomodular lattice; orthomodular poset; centres; orthocomplemented posets; concrete logics},

language = {eng},

number = {4},

pages = {274-285},

publisher = {Institute of Mathematics, Academy of Sciences of the Czech Republic},

title = {On the concreteness of quantum logics},

url = {http://eudml.org/doc/15405},

volume = {30},

year = {1985},

}

TY - JOUR

AU - Pták, Pavel

AU - Wright, John David Maitland

TI - On the concreteness of quantum logics

JO - Aplikace matematiky

PY - 1985

PB - Institute of Mathematics, Academy of Sciences of the Czech Republic

VL - 30

IS - 4

SP - 274

EP - 285

AB - 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.

LA - eng

KW - orthomodular lattice; orthomodular poset; centres; orthocomplemented posets; concrete logics; orthomodular lattice; orthomodular poset; centres; orthocomplemented posets; concrete logics

UR - http://eudml.org/doc/15405

ER -

## References

top- V. Alda, On 0-1 measures for projectors, Aplikace Matematiky 26, 57-58 (1981). (1981) MR0602402
- L. J. Bunce D. M. Wright, Qantum measures and states on Jordan algebras, Comm. Math. Phys. (To appear). MR0786572
- J. Brabec P. Pták, 10.1007/BF00736849, Foundations of Physics, Vol. 12, No. 2, 207-212 (1982). (1982) MR0659779DOI10.1007/BF00736849
- R. Godowski, Varieties of orthomodular lattices with a strongly full set of states, Demonstration Mathematica, Vol. XIV, No. 3, (1981). (1981) Zbl0483.06007MR0663122
- R. Greechie, 10.1016/0097-3165(71)90015-X, J. Comb. Theory 10, 119-132 (1971). (1971) Zbl0219.06007MR0274355DOI10.1016/0097-3165(71)90015-X
- S. Gudder, Stochastic Methods in Quantum Mechanics, North-Holland 1979. (1979) Zbl0439.46047MR0543489
- P. Pták, 10.1063/1.525758, J. Math. Physics 24 (4), 839-840(1983). (1983) MR0700618DOI10.1063/1.525758
- P. Pták V. Rogolewicz, 10.1016/0022-4049(83)90074-9, J. Pure and Applied Algebra 28, 75-85 (1983). (1983) MR0692854DOI10.1016/0022-4049(83)90074-9
- S. Pulmannová, Compatibility and partial compatibility in quantum logics, Ann. Inst. Henri Poincaré, Vol. XXXIV, No. 4, 391-403 (1981). (1981) MR0625170
- R. Sikorski, Boolean Algebras, Springer-Verlag (1964). (1964) Zbl0123.01303MR0126393
- V. Varadarajan, Geometry of Quantum Theory I, Von Nostrand, Princeton (1968). (1968) MR0471674
- M. Zierler M. Schlessinger, 10.1215/S0012-7094-65-03224-2, Duke J. Math. 32, 251-262 (1965). (1965) MR0175520DOI10.1215/S0012-7094-65-03224-2

## Citations in EuDML Documents

top## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.