Coxeter Group - Partial Orders

Partial Orders

A choice of reflection generators gives rise to a length function l on a Coxeter group, namely the minimum number of uses of generators required to express a group element; this is precisely the length in the word metric in the Cayley graph. An expression for v using l(v) generators is a reduced word. For example, the permutation (13) in S3 has two reduced words, (12)(23)(12) and (23)(12)(23). The function defines a map generalizing the sign map for the symmetric group.

Using reduced words one may define three partial orders on the Coxeter group, the (right) weak order, the absolute order and the Bruhat order (named for François Bruhat). An element v exceeds an element u in the Bruhat order if some (or equivalently, any) reduced word for v contains a reduced word for u as a substring, where some letters (in any position) are dropped. In the weak order, v ≥ u if some reduced word for v contains a reduced word for u as an initial segment. Indeed, the word length makes this into a graded poset. The Hasse diagrams corresponding to these orders are objects of study, and are related to the Cayley graph determined by the generators. The absolute order is defined analogously to the weak order, but with generating set/alphabet consisting of all conjugates of the Coxeter generators.

For example, the permutation (1 2 3) in S3 has only one reduced word, (12)(23), so covers (12) and (23) in the Bruhat order but only covers (12) in the weak order.

Read more about this topic:  Coxeter Group

Famous quotes containing the words partial and/or orders:

    You must not be partial in judging: hear out the small and the great alike; you shall not be intimidated by anyone, for the judgment is God’s.
    Bible: Hebrew, Deuteronomy 1:17.

    Selflessness is like waiting in a hospital
    In a badly-fitting suit on a cold wet morning.
    Selfishness is like listening to good jazz
    With drinks for further orders and a huge fire.
    Philip Larkin (1922–1986)