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.

If $\overline{\mathbb{Q}}$ denotes the algebraic closure of $\mathbb{Q}$, and $n$ is a positive integer, why is $\mathbb{Q}^n \otimes_\mathbb{Q} \overline{\mathbb{Q}} = \overline{\mathbb{Q}}^n$?

I.e. why is the tensor product over $\mathbb{Q}$ of $\mathbb{Q}^n$ with the algebraic closure of $\mathbb{Q}$ isomorphic to the algebraic closure of $\mathbb{Q}$ to the $n$?

share|improve this question
4  
Next time, please kindly make your posts human readable by using latex. –  Alex B. Apr 25 '11 at 2:48
add comment

1 Answer

The two properties of tensors that you need are 1) it commutes with direct sum and 2) $A \otimes_R R = A$. Just expand out the first factor, $\mathbb Q^n$, and apply (2).

share|improve this answer
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.