Let Δ\DeltaΔ be a simply-laced root system with highest root θ\thetaθ, and let θ\thetaθ be fundamental. For a simple root α\alphaα, let \EuScriptFα\EuScript F_{\alpha}\EuScriptFα be the associated min…
Let (W,S)(W,S)(W,S) be a Coxeter system with root system cPhicPhicPhi, positive roots cPhi+cPhi^+cPhi+, and inversion set N(w)N(w)N(w) for weqthinspacecinWw eqthinspacecin WweqthinspacecinW. A positive root aeqthinspacecincPhi+a eqthinspacecincPhi^+aeqthinspacecincPhi+ is sma…