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.[1][2]
Graded posets play an important role in combinatorics and can be visualized by means of a Hasse diagram.
^Stanley, Richard (1984), "Quotients of Peck posets", Order, 1 (1): 29–34, doi:10.1007/BF00396271, MR 0745587, S2CID 14857863.
^Butler, Lynne M. (1994), Subgroup Lattices and Symmetric Functions, Memoirs of the American Mathematical Society, vol. 539, American Mathematical Society, p. 151, ISBN 9780821826003.
rank or rank level of a gradedposet is the subset of all the elements of the poset that have a given rank value. Gradedposets play an important role...
Eulerian poset is a gradedposet in which every nontrivial interval has the same number of elements of even rank as of odd rank. An Eulerian poset which...
a ranked poset is a partially ordered set in which one of the following (non-equivalent) conditions hold: it is a gradedposet, or a poset with the property...
with several meanings Gradedposet, a partially ordered set equipped with a rank function, sometimes called a ranked posetGraded vector space, a vector...
ordering with upper bounds Gradedposet – partially ordered set equipped with a rank function, sometimes called a ranked posetPages displaying wikidata...
A strict Sperner poset is a gradedposet in which all maximum antichains are rank levels. A strongly Sperner poset is a gradedposet which is k-Sperner...
linear time, if such a diagram exists. In particular, if the input poset is a gradedposet, it is possible to determine in linear time whether there is a...
This poset has a unique minimal element, zero orbit, and unique maximal element, the regular nilpotent orbit, but in general, it is not a gradedposet. If...
areas of mathematics: Functionally graded elements are used in finite element analysis. A gradedposet is a poset P {\displaystyle P} with a rank function...
differential poset, and in particular to be r-differential (where r is a positive integer), if it satisfies the following conditions: P is graded and locally...
atomistic if every element is the supremum of some set of atoms. A poset is graded when it can be given a rank function r ( x ) {\displaystyle r(x)} mapping...
for u as an initial segment. Indeed, the word length makes this into a gradedposet. The Hasse diagrams corresponding to these orders are objects of study...
distributivity laws of order theory preservation properties of functions between posets. In the following, partial orders will usually just be denoted by their...
Subfield of mathematical logic Gradedposet – partially ordered set equipped with a rank function, sometimes called a ranked posetPages displaying wikidata...
groups act transitively on the set of flags of the polytope. Eulerian posetGradedposet Regular polytope McMullen & Schulte 2002, p. 31 McMullen & Schulte...
to mean strong antichain, a subset such that there is no element of the poset smaller than two distinct elements of the antichain.) A maximal antichain...
properties of posets exist. For example, a poset is locally finite if every closed interval [a, b] in it is finite. Locally finite posets give rise to...
functor M : T → V e c K {\displaystyle M:T\to \mathbf {Vec} _{K}} from the poset category of T {\displaystyle T} to the category of vector spaces over K...
a suitable notion of isomorphism for partially ordered sets (posets). Whenever two posets are order isomorphic, they can be considered to be "essentially...
S2CID 38115497. Ganapathy, Jayanthi (1992). "Maximal Elements and Upper Bounds in Posets". Pi Mu Epsilon Journal. 9 (7): 462–464. ISSN 0031-952X. JSTOR 24340068...
in terms of category theory. Formally, given two partially ordered sets (posets) ( S , ≤ ) {\displaystyle (S,\leq )} and ( T , ⪯ ) {\displaystyle (T,\preceq...