Search results
Results from the WOW.Com Content Network
A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra.It consists of a partially ordered set in which every pair of elements has a unique supremum (also called a least upper bound or join) and a unique infimum (also called a greatest lower bound or meet).
A totally ordered set is a distributive lattice. 21. A metric lattice is modular. [6] 22. A modular lattice is semi-modular. [7] 23. A projective lattice is modular. [8] 24. A projective lattice is geometric. (def) 25. A geometric lattice is semi-modular. [9] 26. A semi-modular lattice is atomic. [10] [disputed – discuss] 27. An atomic ...
Examples in all admissible signatures are given by the II m,n and I m,n constructions, respectively. The theta function of a unimodular positive definite lattice is a modular form whose weight is one half the rank. If the lattice is even, the form has level 1, and if the lattice is odd the form has Γ 0 (4
where the symmetric group S n acts on (Z 2) n by permutation (this is a classic example of a wreath product). For the square lattice, this is the group of the square, or the dihedral group of order 8; for the three-dimensional cubic lattice, we get the group of the cube, or octahedral group, of order 48.
For an example, the lattice of subgroups of the dihedral group of order 8 is not modular. The smallest non-modular lattice is the "pentagon" lattice N 5 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
An example is the Knaster–Tarski theorem, which states that the set of fixed points of a monotone function on a complete lattice is again a complete lattice. This is easily seen to be a generalization of the above observation about the images of increasing and idempotent functions.
In geometry and group theory, a lattice in the real coordinate space is an infinite set of points in this space with the properties that coordinate-wise addition or subtraction of two points in the lattice produces another lattice point, that the lattice points are all separated by some minimum distance, and that every point in the space is within some maximum distance of a lattice point.
Two well-formed words v and w in W(X) denote the same value in every bounded lattice if and only if w ≤ ~ v and v ≤ ~ w; the latter conditions can be effectively decided using the above inductive definition. The table shows an example computation to show that the words x∧z and x∧z∧(x∨y) denote the same value in every bounded lattice ...