A poset is semimodular if it has the property that deg(x)+deg(y)≤deg(x∨y)+deg(x∧y)deg(x) + deg(y) \leq deg(x\vee y) + deg(x \wedge y) . Also, deg(x) for an x in the poset of partitions is the number of parts in the partition.

=================

=================

1 Answer

1

=================

A lattice L\mathbf{L} is semimodular if it satisfies

a≺b⇒a∨c⪯b∨c,a \prec b \Rightarrow a \vee c \preceq b \vee c,

where a≺ba \prec b means a