In mathematics, in the branch of combinatorics, a graded poset is a partially-ordered set (poset) P equipped with a rank function ρ from P to the set N of all natural numbers. ρ must satisfy the following two properties:
The rank function is compatible with the ordering, meaning that for all x and y in the order, if x < y then ρ(x) < ρ(y), and The rank is consistent with the covering relation of the ordering, meaning that for all x and y, if y covers x then ρ(y) = ρ(x) + 1. The value of the rank function for an element of the poset is called its rank. Sometimes a graded poset is called a ranked poset but that phrase has other meanings; see Ranked poset. A rank or rank level of a graded poset is the subset of all the elements of the poset that have a given rank value. Graded posets play an important role in combinatorics and can be visualized by means of a Hasse diagram.
Examples Some examples of graded posets (with the rank function in parentheses) are:
Natural numbers N with their usual order (rank: the number itself), or some interval [0, N] of this poset Nn with the product order (sum of the components), or a subposet of it that is a product of intervals Positive integers ordered by divisibility (number of prime factors, counted with multiplicity), or a subposet of it formed by the divisors of a fixed N The Boolean lattice of finite subsets of a set ordered by inclusion (number of elements of the subset) Any distributive lattice of finite lower sets of another poset (number of elements) In particular any finite distributive lattice Poset of all unlabeled posets on { 1 , . . . , n } {\displaystyle \{1,...,n\}} (number of elements) Young's lattice (number of boxes in the Young diagram) Any geometric lattice, such as the lattice of subspaces of a vector space (dimension of the subspace) Lattice of partitions of a set into finitely many parts, ordered by reverse refinement (number of parts) Lattice of partitions of a finite set X, ordered by refinement (number of elements of X minus number of parts) Face lattice of convex polytopes (dimension of the face, plus one) Abstract polytope ("distance" from the least face, minus one) Abstract simplicial complex (number of elements of the simplex) A group with a generating set, or equivalently its Cayley graph, ordered by the weak or strong Bruhat order, and ranked by word length (length of shortest reduced word) In particular a Coxeter group, for example permutations of a totally ordered n-element set, with either the weak or strong Bruhat order (number of adjacent inversions)
Alternative characterizations
… excerpt ends here. Continue reading the full article.



