Edelman–Greene maximality and height conjecture
Edelman–Greene height conjecture. The word EG−1(Q)\mathrm{EG}^{-1}(Q)EG−1(Q) is a maximal element of PQ\mathcal{P}_QPQ, and