Prefer a chat interface with context about you and your work?
An Explicit Derivation of the Möbius Function for Bruhat Order
We give an explicit nonrecursive complete matching for the Hasse diagram of the strong Bruhat order of any interval in any Coxeter group. This yields a new derivation of the Möbius function, recovering a classical result due to Verma.