# commutativity relation in an orthocomplemented lattice

Let $L$ be an orthocomplemented lattice with $a,b\in L$. We say that $a$ commutes with $b$ if $a=(a\wedge b)\vee(a\wedge b^{\perp})$. When $a$ commutes with $b$, we write $a\operatorname{C}b$. Dualize everything, we have that $a$ dually commutes with $b$, written $a\operatorname{D}b$, if $a=(a\vee b)\wedge(a\vee b^{\perp})$.

Some properties. Below are some properties of the commutativity relations $\operatorname{C}$ and $\operatorname{D}$.

1. 1.
2. 2.

$a\operatorname{C}b$ iff $a\operatorname{C}b^{\perp}$.

3. 3.

$a\operatorname{C}b$ iff $a^{\perp}\operatorname{D}b^{\perp}$.

4. 4.

if $a\leq b$ or $a\leq b^{\perp}$, then $a\operatorname{C}b$.

5. 5.

$a$ is said to orthogonally commute with $b$ if $a\operatorname{C}b$ and $b\operatorname{C}a$. In this case, we write $a\operatorname{M}b$. The terminology comes from the following fact: $a\operatorname{M}b$ iff there are $x,y,z,t\in L$, with:

1. (a)

$x\perp y$ ($x$ is orthogonal to $y$, or $x\leq y^{\perp}$),

2. (b)

$z\perp t$,

3. (c)

$x\perp z$,

4. (d)

$a=x\vee y$, and

5. (e)

$b=z\vee t$.

6. 6.

$\operatorname{C}$ is symmetric iff $\operatorname{D}=\operatorname{C}(=\operatorname{M})$ iff $L$ is an orthomodular lattice.

7. 7.

Remark. More generally, one can define commutativity $\operatorname{C}$ on an orthomodular poset $P$: for $a,b\in P$, $a\operatorname{C}b$ iff $a\wedge b$, $a\wedge b^{\perp}$, and $(a\wedge b)\vee(a\wedge b^{\perp})$ exist, and $(a\wedge b)\vee(a\wedge b^{\perp})=a$. Dual commutativity and mutual commutativity in an orthomodular poset are defined similarly (with the provision that the binary operations on the pair of elements are meaningful).

## References

• 1 L. Beran, Orthomodular Lattices, Algebraic Approach, Mathematics and Its Applications (East European Series), D. Reidel Publishing Company, Dordrecht, Holland (1985).
Title commutativity relation in an orthocomplemented lattice CommutativityRelationInAnOrthocomplementedLattice 2013-03-22 16:43:22 2013-03-22 16:43:22 CWoo (3771) CWoo (3771) 6 CWoo (3771) Definition msc 06C15 msc 03G12 dually commute orthogonally commute
{"ft_lang_label":"__label__en","ft_lang_prob":0.76103425,"math_prob":0.99916255,"size":1611,"snap":"2019-35-2019-39","text_gpt3_token_len":435,"char_repetition_ratio":0.13627878,"word_repetition_ratio":0.007662835,"special_character_ratio":0.2811918,"punctuation_ratio":0.2,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9999062,"pos_list":[0,1,2,3,4,5,6,7,8],"im_url_duplicate_count":[null,null,null,null,null,null,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-09-19T07:03:57Z\",\"WARC-Record-ID\":\"<urn:uuid:39b0db25-dc25-4be0-9b3b-9e3367d94abe>\",\"Content-Length\":\"20772\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:cdfa0346-5d5e-458f-98a0-920c8083b0d0>\",\"WARC-Concurrent-To\":\"<urn:uuid:5900c2d1-131d-4efc-b944-b79cdc990065>\",\"WARC-IP-Address\":\"129.97.206.129\",\"WARC-Target-URI\":\"https://planetmath.org/CommutativityRelationInAnOrthocomplementedLattice\",\"WARC-Payload-Digest\":\"sha1:6ERGUGXZIK7EZYF42FUJCJU3XUXPLQR4\",\"WARC-Block-Digest\":\"sha1:UX4XLHDYKOFFSPEHTOWWR6U4WUWGRSLN\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-39/CC-MAIN-2019-39_segments_1568514573444.87_warc_CC-MAIN-20190919060532-20190919082532-00433.warc.gz\"}"}