View source for Orthomodular lattice

A [[lattice]] with a zero $0$ and a one $1$ in which for any element $a$ there is an orthocomplement $a^\perp$, i.e. an element such that

1) $ a \vee a^\perp = 1 $, $a \wedge a^\perp = 0$, $(a^\perp)^\perp = a$;

2) $ a \le b \Rightarrow a^\perp \ge b^\perp$; 

and such that the ''orthomodular law'':

3) $ a \le b \Rightarrow b = a \vee (b \wedge a^\perp)$

is satisfied.

In an orthomodular lattice one studies [[distributivity]], perspectivity, irreducibility, [[Modular lattice|modularity of pairs]], properties of the centre and of ideals, the commutator, solvability, and applications in the logic of quantum mechanics (see [[#References|[1]]], [[#References|[2]]]).

If $\mathfrak{A}$ is an arbitrary [[von Neumann algebra]], then the set $P(\mathfrak{A})$ of all its projections is a complete orthomodular lattice. In these conditions, if $\mathfrak{A}$ is a factor, then a [[dimension function]] can be defined on the set $P(\mathfrak{A})$. Dependent on the set of values of this function, the factors are divided into the types $\mathrm{I}_n$, $\mathrm{I}_\infty$, $\mathrm{II}_1$, $\mathrm{II}_\infty$, $\mathrm{III}$ (the Murray–von Neumann classification, see [[#References|[4]]]). It has been established that lattices of projections of factors of the type $\mathrm{I}_n$ and $\mathrm{II}_1$ are continuous geometries, i.e. complete complemented modular lattices (cf. [[Lattice with complements]]; [[Modular lattice]]; [[Complete lattice]]) satisfying the following two continuity axioms:

1) $b \wedge (\vee_{\alpha \in D} a_\alpha) = \vee_{\alpha \in D} b \wedge a_\alpha$ for any [[directed set]] of indices $D$ and any set of elements $\{ a_\alpha : \alpha \in D \}$ such that $\alpha \prec \alpha'$ implies $a_\alpha \le a_{\alpha'}$;

2) the condition dual to 1).

The problem of constructing an abstract dimension theory within the framework of such a class of lattices, which would also include, apart from modular lattices of projections of factors of the types $\mathrm{I}_n$ and $\mathrm{II}_1$, non-modular lattices of projections of factors of the remaining types, has arisen. The existence of a dimension function of a complete orthomodular lattice with an equivalence relation which satisfies certain supplementary conditions has been proved. This class of lattices includes both lattices of projections of factors and continuous geometries.

Orthomodular lattices, which are a natural generalization of lattices of projections of factors, also constitute an essentially broader class, in that many properties of lattices of projections are not valid for arbitrary orthomodular lattices. In the same way as continuous geometries are coordinatized by regular rings (see [[#References|[1]]]), orthomodular lattices can be coordinatized by Baer ${*}$-semi-groups. If a complete orthomodular lattice is modular, it is continuous (see [[#References|[7]]]). There exists an orthocomplemented modular lattice whose completion by sections is not orthomodular (whereas the completion by sections of a semi-modular orthocomplemented lattice is semi-modular and the lattice of projections of a von Neumann algebra is semi-modular).

====References====
<table>
<TR><TD valign="top">[1]</TD> <TD valign="top">  L.A. Skornyakov,   "Complemented modular lattices and regular rings" , Oliver &amp; Boyd  (1964)  (Translated from Russian)</TD></TR>
<TR><TD valign="top">[2]</TD> <TD valign="top">  ''Itogi Nauki. Algebra. Topol. Geom. 1968'' , Moscow  (1970)  (In Russian)</TD></TR>
<TR><TD valign="top">[3]</TD> <TD valign="top">  T.S. Fofanova,   "General theory of lattices" , ''Ordered sets and lattices'' , '''3''' , Saratov  (1975)  pp. 22–40  (In Russian)</TD></TR>
<TR><TD valign="top">[4]</TD> <TD valign="top">  F. Murray,   J. von Neumann,   "On rings of operators"  ''Ann. of Math.'' , '''37''' :  1  (1936)  pp. 116–229</TD></TR>
<TR><TD valign="top">[5]</TD> <TD valign="top">  L.H. Loomis,   "The lattice theoretic background of the dimension theory of operator algebras"  ''Mem. Amer. Math. Soc.'' , '''18'''  (1955)  pp. 1–36</TD></TR>
<TR><TD valign="top">[6]</TD> <TD valign="top">  S. Maeda,   "Dimension functions on certain general lattices"  ''J. Sci. Hiroshima Univ. Ser. A'' , '''19''' :  2  (1955)  pp. 211–237</TD></TR>
<TR><TD valign="top">[7]</TD> <TD valign="top">  I. Kaplansky,   "Any orthocomplemented complete modular lattice is a continuous geometry"  ''Ann. of Math.'' , '''61''' :  3  (1955)  pp. 524–541</TD></TR>
</table>

{{TEX|done}}



====Comments====
For  "completion by sections"  see [[Completion, MacNeille (of a partially ordered set)|Completion, MacNeille (of a partially ordered set)]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  T.S. Blyth,   M.F. Janowitz,   "Residuation theory" , Pergamon  (1972)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  G. Kalmbach,   "Orthomodular lattices" , Acad. Press  (1983)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  G. Kalmbach,   "Measures and Hilbert lattices" , World Sci.  (1986)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  L. Beran,   "Orthomodular lattices" , Reidel  (1985)  pp. 4ff</TD></TR></table>