On Sums Over Partially Ordered Sets

Abstract

We establish a general theorem for reducing sums of type $\sum_{y\ge x} g(y)$ where $g$ is a mapping from a partially ordered set into an abelian group. Conclusions concern the Möbius function, the principle of inclusion-exclusion, the Tutte polynomial and Crapo's beta invariant.