A Survey of the Valuation Algebra motivated by a Fundamental Application to Dissection Theory

MaRDI QIDQ6358445zbMATH OpenFDO

Authors Hery Randriamaro

Publication date 17 January 2021

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Lattice ideals, congruence relations (06B10) Algebraic aspects of posets (06A11) Stratifications in topological manifolds (57N80)

Abstract: A lattice $L$ is said lowly finite if the set $[mathsf0,a]$ is finite for every element $a$ of $L$. We mainly aim to provide a complete proof that, if $M$ is a subset of a complete lowly finite distributive lattice $L$ containing its join-irreducible elements, and $a$ an element of $M$ which is not join-irreducible, then $displaystylesu{m}_{binMcap[mathsf0,a]}m{u}_M(b,a)b$ belongs to the submodule $langleawedgeb+aveeb-a-b|a,binLangle$ of $mathbbZL$. That property was originally established by Zaslavsky for finite distributive lattice. It is essential to prove the fundamental theorem of dissection theory as will be seen. We finish with a concrete application of that theorem to face counting for submanifold arrangements.

This page was built for publication: A Survey of the Valuation Algebra motivated by a Fundamental Application to Dissection Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6358445)