Bruhat decomposition of a BN-pair (source code)

= Bruhat decomposition of a BN-pair
{c}
{wiki=Bruhat_decomposition}

The Bruhat decomposition is the disjoint union
$$
G=\bigsqcup_{w\in W}B\dot wB
$$
associated with a <BN-pair>.