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:
“So-called “austerity,” the stoic injunction, is the path towards universal destruction. It is the old, the fatal, competitive path. “Pull in your belt” is a slogan closely related to “gird up your loins,” or the guns-butter metaphor.”
—Wyndham Lewis (1882–1957)
“What is termed Sin is an essential element of progress. Without it the world would stagnate, or grow old, or become colourless. By its curiosity Sin increases the experience of the race. Through its intensified assertion of individualism it saves us from monotony of type. In its rejection of the current notions about morality, it is one with the higher ethics.”
—Oscar Wilde (1854–1900)