Tensor product of crystals (source code)

= Tensor product of crystals
{wiki=Crystal_base#Tensor_products_of_crystals}

The tensor product crystal uses the $i$-string data $\varepsilon_i$ and $\varphi_i$ to decide on which tensor factor a <Kashiwara operator> acts. Its connected components are highest-weight crystals and encode the decomposition of the tensor product representation.