Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

Decompositions in Quantum Logic

John Harding
Transactions of the American Mathematical Society
Vol. 348, No. 5 (May, 1996), pp. 1839-1862
Stable URL: http://www.jstor.org/stable/2155082
Page Count: 24
  • Read Online (Free)
  • Download ($30.00)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
Decompositions in Quantum Logic
Preview not available

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

Page Thumbnails

  • Thumbnail: Page 
1839
    1839
  • Thumbnail: Page 
1840
    1840
  • Thumbnail: Page 
1841
    1841
  • Thumbnail: Page 
1842
    1842
  • Thumbnail: Page 
1843
    1843
  • Thumbnail: Page 
1844
    1844
  • Thumbnail: Page 
1845
    1845
  • Thumbnail: Page 
1846
    1846
  • Thumbnail: Page 
1847
    1847
  • Thumbnail: Page 
1848
    1848
  • Thumbnail: Page 
1849
    1849
  • Thumbnail: Page 
1850
    1850
  • Thumbnail: Page 
1851
    1851
  • Thumbnail: Page 
1852
    1852
  • Thumbnail: Page 
1853
    1853
  • Thumbnail: Page 
1854
    1854
  • Thumbnail: Page 
1855
    1855
  • Thumbnail: Page 
1856
    1856
  • Thumbnail: Page 
1857
    1857
  • Thumbnail: Page 
1858
    1858
  • Thumbnail: Page 
1859
    1859
  • Thumbnail: Page 
1860
    1860
  • Thumbnail: Page 
1861
    1861
  • Thumbnail: Page 
1862
    1862