Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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.

share|improve this question
    
Related to, but not a duplicate of math.stackexchange.com/questions/77178/… –  rschwieb Dec 12 '13 at 14:13
add comment

2 Answers 2

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.

share|improve this answer
1  
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
add comment

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)$.

share|improve this answer
    
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
    
Thanks for your answer! –  Lao-tzu Dec 6 '13 at 0:35
    
@rschwieb, since H has square zero in the Brauer group, its tensor square is matrices over the field, because that is what being zero there means. –  Mariano Suárez-Alvarez Dec 6 '13 at 2:10
    
@MarianoSuárez-Alvarez Oh! Yes: now I see what the identity is here. This is much less mysterious than I thought. Thanks! –  rschwieb Dec 6 '13 at 13:41
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.