Modular Pairs and Related Notions
In any lattice, a modular pair is a pair (a, b) of elements such that for all x satisfying a ∧ b ≤ x ≤ b, we have (x ∨ a) ∧ b = x, i.e. if one half of the diamond isomorphism theorem holds for the pair. An element b of a lattice is called a (right) modular element if (a, b) is a modular pair for all elements a.
A lattice with the property that if (a, b) is a modular pair, then (b, a) is also a modular pair is called an M-symmetric lattice. Since a lattice is modular if and only if all pairs of elements are modular, clearly every modular lattice is M-symmetric. In the lattice N5 described above, the pair (b, a) is modular, but the pair (a, b) is not. Therefore N5 is not M-symmetric. The centred hexagon lattice S7 is M-symmetric but not modular. Since N5 is a sublattice of S7, it follows that the M-symmetric lattices do not form a subvariety of the variety of lattices.
M-symmetry is not a self-dual notion. A dual modular pair is a pair which is modular in the dual lattice, and a lattice is called dually M-symmetric or M*-symmetric if its dual is M-symmetric. It can be shown that a finite lattice is modular if and only if it is M-symmetric and M*-symmetric. The same equivalence holds for infinite lattices which satisfy the ascending chain condition (or the descending chain condition).
Several less important notions are also closely related. A lattice is cross-symmetric if for every modular pair (a, b) the pair (b, a) is dually modular. Cross-symmetry implies M-symmetry but not M*-symmetry. Therefore cross-symmetry is not equivalent to dual cross-symmetry. A lattice with a least element 0 is ⊥-symmetric if for every modular pair (a, b) satisfying a ∧ b = 0 the pair (b, a) is also modular.
Read more about this topic: Modular Lattice
Famous quotes containing the words related and/or notions:
“A parent who from his own childhood experience is convinced of the value of fairy tales will have no difficulty in answering his child’s questions; but an adult who thinks these tales are only a bunch of lies had better not try telling them; he won’t be able to related them in a way which would enrich the child’s life.”
—Bruno Bettelheim (20th century)
“Assumptions that racism is more oppressive to black men than black women, then and now ... based on acceptance of patriarchal notions of masculinity.”
—bell hooks (b. c. 1955)