Introduction
The modular law can be seen (and memorized) as a restricted associative law that connects the two lattice operations similarly to the way in which the associative law λ(μx) = (λμ)x for vector spaces connects multiplication in the field and scalar multiplication. The restriction x ≤ b is clearly necessary, since it follows from x ∨ (a ∧ b) = (x ∨ a) ∧ b.
It is easy to see that x ≤ b implies x ∨ (a ∧ b) ≤ (x ∨ a) ∧ b in every lattice. Therefore the modular law can also be stated as
- Modular law (variant)
- x ≤ b implies x ∨ (a ∧ b) ≥ (x ∨ a) ∧ b.
By substituting x with x ∧ b, the modular law can be expressed as an equation that is required to hold unconditionally, as follows:
- Modular identity
- (x ∧ b) ∨ (a ∧ b) = ∧ b.
This shows that, using terminology from universal algebra, the modular lattices form a subvariety of the variety of lattices. Therefore all homomorphic images, sublattices and direct products of modular lattices are again modular.
The smallest non-modular lattice is the "pentagon" lattice N5 consisting of five elements 0,1,x,a,b such that 0 < x < b < 1, 0 < a < 1, and a is not comparable to x or to b. For this lattice x ∨ (a ∧ b) = x ∨ 0 = x < b = 1 ∧ b = (x ∨ a) ∧ b holds, contradicting the modular law. Every non-modular lattice contains a copy of N5 as a sublattice.
Modular lattices are sometimes called Dedekind lattices after Richard Dedekind, who discovered the modular identity.
Read more about this topic: Modular Lattice
Famous quotes containing the word introduction:
“We used chamber-pots a good deal.... My mother ... loved to repeat: “When did the queen reign over China?” This whimsical and harmless scatological pun was my first introduction to the wonderful world of verbal transformations, and also a first perception that a joke need not be funny to give pleasure.”
—Angela Carter (1940–1992)
“The role of the stepmother is the most difficult of all, because you can’t ever just be. You’re constantly being tested—by the children, the neighbors, your husband, the relatives, old friends who knew the children’s parents in their first marriage, and by yourself.”
—Anonymous Stepparent. Making It as a Stepparent, by Claire Berman, introduction (1980, repr. 1986)
“Such is oftenest the young man’s introduction to the forest, and the most original part of himself. He goes thither at first as a hunter and fisher, until at last, if he has the seeds of a better life in him, he distinguishes his proper objects, as a poet or naturalist it may be, and leaves the gun and fish-pole behind. The mass of men are still and always young in this respect.”
—Henry David Thoreau (1817–1862)