Tensor product algebra $\mathbb{C}\otimes_\mathbb{R} \mathbb{C}$

Question

I want to understand the tensor product $\mathbb C$-algebra $\mathbb{C}\otimes_\mathbb{R} \mathbb{C}$. Of course it must be isomorphic to $\mathbb{C}\oplus\mathbb{C}.$ How can one construct an explicit isomorphism?

Answer 1

An explicit isomorphism of $\mathbb C$-algebras is given (on generators) by $ \mathbb C\otimes _\mathbb R \mathbb C\stackrel {\cong }{\to} \mathbb C\times \mathbb C: z\otimes w \mapsto (z\cdot w,z\cdot\bar w)$.
Here $ \mathbb C \otimes _\mathbb R \mathbb C$ is considered as a $\mathbb C$-algebra through its first factor: $z_1\cdot (z\otimes w)=z_1 z\otimes w $

Answer 2

Write $\mathbb C=\mathbb R[x]/\langle x^2+1\rangle$ for one of the copies. Then, using a universal property of tensor products, $$ \mathbb C\otimes_{\mathbb R} \mathbb C \;\approx\; \mathbb R[x]/\langle x^2+1\rangle \otimes_{\mathbb R}\mathbb C \;\approx\; \mathbb C[x]/\langle (x+i)(x-i)\rangle \;\approx\; \mathbb C[x]/\langle x+i\rangle \oplus \mathbb C[x]/\langle x-i\rangle $$ the last isomorphism via Sun-Ze's theorem (a.k.a. "Chinese Remainder Theorem"). That last isomorphism can be made explicit by choice of polynomials $A(x),B(x)$ such that $A(x)\cdot (x+i) + B(x)\cdot (x-i)=1$.

Edit: this treats "right" $\mathbb C$-algebra, but/and reversing the roles gives the same outcome as "left" algebra.