Let $U\_q(\mathcal{L}({\mathfrak{g}}))$ be a quantum loop algebra and $I$ the set of indexes of Dynking diagram of $\mathfrak{g}$. Consider $J\subset I$ a connected subdiagram, so that $U\_q(\mathcal{L}({\mathfrak{g}})\_J)$ is a diagram subalgebra of $U\_q(\mathcal{L}({\mathfrak{g}}))$. Suppose that $V$ (resp. $W$) is a finite-dimensional highest-$\ell$-weight $U\_q(\mathcal{L}({\mathfrak{g}}))$-module, generated by the highest-$\ell$-weight vector $v\in V$ (resp. $w\in W$). Furthermore, suppose that the tensor product $V\otimes W$ is also highest-$\ell$-weight, that is, $$V\otimes W=U\_q(\mathcal{L}({\mathfrak{g}}))v\otimes U\_q(\mathcal{L}({\mathfrak{g}}))w=U\_q(\mathcal{L}({\mathfrak{g}}))(v\otimes w).$$ 
Then, can I say that $U\_q(\mathcal{L}({\mathfrak{g}})\_J)v\otimes U\_q(\mathcal{L}({\mathfrak{g}})\_J)w=U\_q(\mathcal{L}({\mathfrak{g}})\_J)(v\otimes w)$ is also true?
I am also interested in partial answers, for example, the cases where $V$ and $W$ are both irreducible...



Highest-$\ell$-weight tensor products and diagram subalgebras
Recently I discovered that this result is true. In fact, it is a consequence of the Proposition 2.2 of paper <https://link.springer.com/article/10.1007/BF00750760> written by Chari-Pressley.


