Generation by fundamental representations
= Generation by fundamental representations
If $\lambda=\sum_im_i\omega_i$ is dominant integral, the tensor product $\bigotimes_iV(\omega_i)^{\otimes m_i}$ contains $V(\lambda)$ as the irreducible summand generated by the tensor product of highest-weight vectors.