1: \begin{definition}

2: \label{definition:isomorphismSkewTableaux}

3: Let $\underline{\theta} \in \He_{L,r}^{std}$ be a degree r head. Set $V_k := \mathbb{C}^{N_k}$, $1\leq k \leq \dprl{L}$ . Recall that $\wmodel{\tab}{}\coloneqq e_{\tab}\Upsilon_W^{\lambda / \mu} \in \mathbb{W}^{\lambda / \mu}(\mathbb{C}^{N})$. Define a vector space map on the basis elements of $\spann{\Std_{\underline{\theta}}}$ as follows:

4: \begin{center}

5: $\displaystyle \Psi_{\underline{\theta}}:\spann{\Std_{\underline{\theta}}}\longrightarrow \mathbb{W}_{\underline{\theta}} := \mathbb{W}^{\nicefrac{\lambda_{\underline{\theta}}^{(1)}}{\mu_{\underline{\theta}}^{(1)}}}(V_1) \otimes \cdots \otimes \mathbb{W}^{\nicefrac{\lambda_{\underline{\theta}}^{(\dprl{L})}}{\mu_{\underline{\theta}}^{(\dprl{L})}}}(V_{\dprl{L}})$

6: 

7: $\pl_{\tau_1}\cdots \pl_{\tau_r} \longmapsto \wmodel{\tab_{\underline{\tau}}^{(1)}}{}\otimes \cdots \otimes \wmodel{\tab_{\underline{\tau}}^{(\dprl{L})}}{}$

8: 

9: \end{center}

10: where $\underline{\tau} := (\tau_1,\ldots,\tau_r)$.

11: 

12: Lemma \ref{lemma:skewTableauxSameHead}, the definition of the semistandard tableaux $\tab_{\underline{\tau}}^{(k)}$ for $1\leq k \leq \dprl{L}$, and Theorem \ref{theorem:ssytBasisWeylModule} give that this map is well defined and takes basis vectors to basis vectors. 

13: 

14: Subsequently when we refer to the skew Weyl modules in the above tensor product we will write them as $\mathbb{W}^{\nicefrac{\lambda_{\underline{\theta}}^{(k)}}{\mu_{\underline{\theta}}^{(k)}}}$, omitting the $(V_{k})$, so long as no confusion may arise from doing so.

15: \end{definition}