, Volume 15, Issue 3, pp 279–295

Boolean Term Orders and the Root System Bn

  • Diane Maclagan


A Boolean term order is a total order on subsets of [n] ={1,..., n} such that ∅ ≺ α for all α \( \subseteq\) [n], α ≠ ∅, and α ≺ β ⇒ α ∪ γ ≺ β ∪ γ for all γ with γ ∩(α ∪ β) = ∅. Boolean term orders arise in several different areas of mathematics, including Gröbner basis theory for the exterior algebra, and comparative probability.

The main result of this paper is that Boolean term orders correspond to one-element extensions of the oriented matroid M(Bn), where Bn is the root system {ei : 1 ≤ i ≤ n} ∪{ei ± ej : 1 ≤ i < j ≤ n}. This establishes Boolean term orders in the framework of the Baues problem, in the sense of (Reiner, 1998). We also define a notion of coherence for a Boolean term order, and a flip relation between different term orders. Other results include examples of noncoherent term orders, including an example exhibiting flip deficiency, and enumeration of Boolean term orders for small values of n.

Baues problem oriented matroid term order 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1998

Authors and Affiliations

  • Diane Maclagan
    • 1
  1. 1.Department of MathematicsUniversity of CaliforniaBerkeleyU.S.A.

Personalised recommendations