1: \begin{definition}[Theorem 7.13 of \cite{Sar-tensor}]\label{def:SarVnIdent}

2: We identify $K_0^{\C(q)}(\cal{A}_{n,k}^{\Bbbk})$ with $\left(V^{\otimes n}\right)_k$ by identifying the basis element $[P(\l)]$ of $K_0^{\C(q)}(\cal{A}_{n,k}^{\Bbbk})$ with the canonical basis element $v_{\l}^{\diamondsuit}$.

3: \end{definition}