Page 16 - Leech, Jonathan E. 2020. Noncommutative Lattices: Skew Lattices, Skew Boolean Algebras and Beyond. Koper: University of Primorska Press
P. 16
Jonathan E. Leech │ Noncommutative Lattices: Skew Lattices, Skew Boolean Algebras and Beyond

showing that ≥ is transitive. L3 yields the basic duality x ∧ y = y if and only if x ∨ y = y. (L; ≥) is
indeed a poset. Its meets and joins are given by ∧ and ∨. As stated above, L0 is redundant
relative to L1-L3. Indeed:

Lemma 1.1.1. Given binary operations ∧ and ∨ on a set L, L3 implies L0.

Proof. Given L3, x ∧ x = x ∧ [x ∨ (x∧x)] = x, and thus x ∨ x = x ∨ (x ∧ x) = x. £

Lattices of small order are easily drawn. A list of all lattices up through order 5 that is
complete up to isomorphism follows. The indexing on the totally ordered chains (C0, C1, etc.)
corresponds to their length, which is always 1 less than their order.



•↓ •

C0 • • ↓• ↙↓
C1 C2 • C3 ↓ C1 × C1 •
↓ • •
• ↓ ↓

•↓




• • • •
↓ ↙↓ ↙↓
↓ • •• • •
↙↓ ↓↙ ↓ ↓•
• •• • ••• •
↓↙ ↓ ↓ ↘↓
↓ • •
(!×!)! (!×!)! • •
C4 • !
↓ M5







hold: Recall that a lattice (L; ∨, ∧) is distributive when for all x, y, z ∈L the following identities

D1. x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z).
D2. x ∨ (y ∧ z) = (x ∨ y) ∧ (x ∨ z).

All chains are distributive lattices as are C1 × C1, C1 × C1I and C1 × C10. In general, a lattice is
distributive if and only if it has no sublattice that is a copy of either M5 or N5. Distributivity
leads us to another fundamental redundancy, whose proof is easily accessible in the literature.

Theorem 1.1.2. For any lattice (L, ∧, ∨), D1 holds if and only if D2 holds. £

The shaping of distributive identities in noncommutative contexts is an important concern
in generalized lattice theory. An important characterizing property of distributivity is:

Theorem 1.1.3. Distributive lattices are cancellative in that x∧z = y∧z and x∨z = y∨z
together imply x = y. Conversely, cancellative skew lattices are distributive.

14
   11   12   13   14   15   16   17   18   19   20   21