Triple tensor decomposition for the defining sl3 representation (source code)

= Triple tensor decomposition for the defining sl3 representation
{c}
{title2=$V\otimes V\otimes V^*$}

For the defining representation $V=V(\omega_1)$ of $\mathfrak{sl}_3$,
$$
V\otimes V\otimes V^*
\cong
V(2\omega_1+\omega_2)\oplus
V(2\omega_2)\oplus
V(\omega_1)^{\oplus2}.
$$