Bruhat阶Mobius函数的一个显式推导
An explicit derivation of the Mobius function for Bruhat order
摘要：
本文给出了Coxeter群中任意区间的强Bruhat序的Hasse图的一个显式的非递归完全匹配。这产生了一个新的推导莫比乌斯函数，恢复了一个经典的结果，由于维尔马。
英文摘要：
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 Mobius function, recovering a classical result due to Verma.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
