How to prove the tensor product of two copies of $\mathbb{H}$ is isomorphic to $M_4 (\mathbb{R})$?

How to prove the tensor product over $\mathbb{R}$ of two copies of the quaternions is isomorphic to the matrix algebra $M_4 (\mathbb{R})$ as algebras over $\mathbb{R}$? More precisely, the problem is to show the isomorphism $\mathbb{H} \otimes_\mathbb{R} \mathbb{H} \cong M_4 (\mathbb{R})$.

On the book "Spin Geometry" by Lawson and Michelsohn, page 27, there is an isomorphism defined by sending $q_1 \otimes q_2$ to the real endomorphism of $\mathbb{H}$ which is given by $x \mapsto q_1 x \bar{q_2}$, but I don't know how to deduce that this real algebra homomorphism is in fact an isomorphism.

-
Related to, but not a duplicate of math.stackexchange.com/questions/77178/… – rschwieb Dec 12 '13 at 14:13

It's a basic fact (here's a proof in the second proposition on page 157) that the tensor product of two central simple algebras is another central simple algebra. A proof should be available wherever central simple algebras are discussed.

By simplicity of the ring, the kernel of your (nonzero) ring homomorphism is automatically $\{0\}$, showing it is injective.

Finally, since the image and codomain are both 16-$\Bbb R$-dimensional, they are equal, showing the must also be surjective.

-
Dear @DietrichBurde : Sure, but as you can see at the slight cost of difficulty, we get a simple solution to this problem and a useful piece of knowledge about tensor products. This seems better than just plodding through a verification for this particular mapping. Besides, one can immediately find this proof in any text on central simple algebras, so it is relatively accessible. Win-win! Regards. – rschwieb Dec 5 '13 at 20:16
More resources added to complete the post. I don't think it's necessary to reproduce a proof this common in print in this case. – rschwieb Dec 5 '13 at 20:17
OK, this is a nice answer ! – Dietrich Burde Dec 5 '13 at 20:21
Thank you very much! – Lao-tzu Dec 6 '13 at 0:34

The Brauer group of $\mathbb R$ is $Br(\mathbb R)\cong\mathbb Z/2\mathbb Z$; one way to see this is to note that there are exactly two (iso)classes of central simple f.d. real algebras, in view of Frobenius' theorem which classifies them, so the there is no choice for the group structure. It follows that the tensor square of every central simple real algebra is isomorphic to a matrix algebra. In particular, $\mathbb H\otimes_{\mathbb R}\mathbb H$ is a real matrix algebra of dimension $16$, so must be isomorphic to $M_{4}(\mathbb R)$.

-
I first took this path, but then I couldn't see a quick way to decide between $M_2(\Bbb H)$ and $M_4(\Bbb R)$. Is there a quick way to choose between them? – rschwieb Dec 5 '13 at 21:34