I am trying to understand the relation between Wigner's $3j$-symbols (or Clebsch-Gordan coefficients) and matrix coefficients of intertwiners. I am new to this topic and need some help to understand it properly.


So, let us start with the Lie algebra $\mathfrak{sl}(2,\mathbb{C})$, which is the complexification of $\mathfrak{su}(2)$. Now, as usual, all the irreducible representations of $\mathfrak{sl}(2,\mathbb{C})$ can be described by spins $j\in\mathbb{N}\_{0}/2$ and have dimension $2j+1$. Now it is a general fact that for a simple and complex Lie algebra, ever finite-dimensional irreducible representation can be labeled with a heighest weight $\Lambda$, which in the case of $\mathfrak{sl}(2,\mathbb{C})$ are given by $2j$. In general, the tensor product of two such heighest weight modules is fully reducible and hence we can write
$$V\_{\Lambda}\otimes V\_{\Lambda^{\prime}}=\bigoplus\_{i}C\_{\Lambda\Lambda^{\prime}}^{\Lambda\_{i}}V\_{\Lambda\_{i}}$$
with some coefficients, usually called multiplicities or Littlewood-Richardson coefficients. Now in order to relate this to intertwiners, we first of all know, according to the Lemma of Schur, that the space of intertwiners between two irreducible finite-dimensional representations of a complex Lie algebra $\mathfrak{g}$ is either $0$-dimensional (if they are not isomorphic) or $1$-dimensional (if they are isomorphic). As a consequence, we get that the Littlewood-Richardson coefficients are given by the dimension of the space of intertwiners from $V\_{\Lambda\_{i}}$ to $V\_{\Lambda}\otimes V\_{\Lambda^{\prime}}$, i.e.


$$C\_{\Lambda\Lambda^{\prime}}^{\Lambda\_{i}}=\mathrm{dim}\_{\mathbb{C}}(\mathrm{Int}(V\_{\Lambda\_{i}},V\_{\Lambda}\otimes V\_{\Lambda^{\prime}}))$$


So in the case of $\mathfrak{sl}(2,\mathbb{C})$ (or equivalently $\mathfrak{su}(2)$), the coefficients are hence given by


$$C\_{\Lambda\Lambda^{\prime}}^{\Lambda\_{i}}=\mathrm{dim}\_{\mathbb{C}}(\mathrm{Int}(V\_{2j\_{i}},V\_{2j}\otimes V\_{2j^{\prime}}))$$


So far so good. In a textbook (Fuch, Schweigert — *Symmetries, Lie algebras and representations*), they then say that using this correspondence, it is clear that the Clebsch-Gordan coefficients for fixed $J$ are the matrix coefficients of intertwiners in $\mathrm{Int}(V\_{2j\_{i}},V\_{2j}\otimes V\_{2j^{\prime}})$ for "a definite choice of basis". Can anyone explain this step to me in more detail? Furthermore, what does "a definite choice of basis" mean in this context? Also, what is then the correspondence with the $3j$-symbols?


Thank you very much!


EDIT: In order to clarify the conventions I use, let me add some more details about the Clebsch-Gordan coefficients: Let $J\_{\pm},J\_{0}$ be the three generators of $\mathfrak{sl}(2,\mathbb{C})$, i.e.
$$[J\_{0},J\_{\pm}]=\pm J\_{\pm}\hspace{1cm}\text{and}\hspace{1cm}[J\_{+},J\_{-}]=2J\_{0}$$
Then there is a basis $\{\mid j,m\rangle\}\_{-j\leq m\leq j}$ of $V\_{2j}$ satisfying
$$J\_{0}\mid j,m\rangle=m\mid j,m\rangle$$
$$J\_{\pm}\mid j,m\rangle=\sqrt{j(j+1)-m(m\pm 1)}\mid j,m\pm 1\rangle$$
In order to define the Clebsch-Gordan coefficients, one usually defines to different bases of the tensor product $V\_{2j}\otimes V\_{2j^{\prime}}$:


(1) The tensor product of the bases described above, i.e. $\{\mid j\_{1},j\_{2},m\_{1},m\_{2}\rangle\}\_{-j\_{1}\leq m\_{1}\leq j\_{1},-j\_{2}\leq m\_{2}\leq j\_{2}}$
where $\mid j\_{1},j\_{2},m\_{1},m\_{2}\rangle:=\mid j\_{1},m\_{1}\rangle\otimes\mid j\_{2},m\_{2}\rangle$.


(2) Define the total spin $\vec{J}:=\vec{J}\_{1}+\vec{J}\_{2}$. Then there is a basis $\{\mid J,M\rangle:=\mid j\_{1},j\_{2},J,M\rangle\}$ satisfying
$$\vec{J}^{2}\mid J,M\rangle=J(J+1)\mid J,M\rangle$$


Then the Clebsch-Gordan coefficients are the coefficients of the change of basis matrix, i.e. $\langle j\_{1},j\_{2},m\_{1},m\_{2}\mid J,M\rangle$



Relations between $3j$-symbols and intertwiners
There is a [standard basis](https://en.wikipedia.org/wiki/Angular_momentum_operator#Orbital_angular_momentum_in_spherical_coordinates) for finite-dimensional $SO(3)$ (and hence $\mathfrak{su}(2)$) representations, denoted by $\left| j, m\right\rangle$; the total spin $j\ge 0$ labels the representation, the magnetic quantum number $m=-j,\ldots,j$ labels the basis. If you look at the first few equations in the Wikipedia article on [$3j$-symbols](https://en.wikipedia.org/wiki/3-j_symbol), one can immediately realize that they give the following formula for the (unique up to a scalar multiple) intertwiners in this basis:
$$ I\_{j\_1,j\_2}^{j\_3} \colon \left| j\_3, m\_3\right\rangle \mapsto \sum\_{m\_1=-j\_1}^{j\_1} \sum\_{m\_2=-j\_2}^{j\_2} (-1)^{-j\_1+j\_2+m\_3} \sqrt{2j\_3+1} \begin{pmatrix} j\_1 & j\_2 & j\_3 \\ m\_1 & m\_2 & -m\_3 \end{pmatrix} \left|j\_1, m\_1\right\rangle \otimes \left|j\_2, m\_2\right\rangle.$$


