令G是群,子群B和N是G的BN-对,T=B∩N是N的正规子群,则商群W=N/T是一个有限反射群,设W的极小生成集为S,那么∑=∑（W,S）是一个Building......