# The tensor product of $M_{n}(\mathbb{C})$

There is a quotation below:

Let $\{e_{i,j}\}_{1\leq i, j\leq n}$ be a system of matrix units fro $M_{n}(\mathbb{C})$ and consider $$\sum\limits_{i,j=1}^{n}e_{j, i}\otimes e_{j, i}.$$

A straightforward computation shows that this matrix is equal to $nP$ where $P$ is the one-dimensional projection onto the span of the vector $$v=\sum\limits_{k=1}^{n}\delta_{k} \otimes \delta_{k}.$$

The $\{\delta_{k}\}$ is an orthonormal basis of $\mathbb{C}^{n}.$

My question is: how to comprehend the "equal to" here? And how to verify it?

Let $V:=\Bbb C^n$, this is the canonical $n$ dimensional vector space over $\Bbb C$, and I guess, $(\delta_k)_k$ is the canonical (orthonormal) basis.

Now $M_n(\Bbb C)$ can be identified with the space ${\rm End}(V)$ of linear transformations $V\to V$.
Here $e_{ji}$ corresponds to the linear map which sends $\delta_i$ to $\delta_j$ and all other $\delta_k$ to $0$ (for $k\ne i$).

Finally, we have a canonical linear embedding ${\rm End}(V)\otimes{\rm End}(V)\ \hookrightarrow\ {\rm End}(V\otimes V)$ which maps $$\alpha\otimes\beta\ \mapsto\ \big((v\otimes w)\mapsto (\alpha v\otimes\beta w)\big)$$ and extends linearly to the formal sums of these tensors, where $\alpha,\beta\in{\rm End}(V)$ and $v,w\in V$.

Can you then verify that $\sum_{i,j}\,e_{ji}\otimes e_{ji}$ fixes $\nu=\sum_k\,\delta_k\otimes\delta_k$ and maps each element of $V\otimes V$ to $0$ which is orthogonal to $\nu$?

• Do you mean, as a map, $\sum\limits_{i,j}e_{j,i}\otimes e_{j,i}=nP$? But what is the form of elements which are orthogonal to $v$? May 24 '14 at 16:35
• What is the induced inner product on $V\otimes V$? May 24 '14 at 16:45
• It is $<x_{1}\otimes x_{2}, x_{1}^{'}\otimes x_{2}^{'}>=<x_{1}, x_{1}^{'}><x_{2}, x_{2}^{'}>$. However, can we regard $\sum\limits_{i,j} e_{j, i}\otimes e_{j, i}$ as a $n^{2} \times n^{2}$ matrix and regard $v$ as a vector in $\mathbb{C}^{n^{2}}$? Then the question is a fundamental calculation of matrix. May 24 '14 at 17:06
• I guess, yes, that should also work.. May 24 '14 at 19:57