Deje $z \otimes w$ ser un simple tensor en $\mathbb{C} \otimes_\mathbb{C} \mathbb{C}$.
Ciertamente tenemos $z \otimes w = 1 \otimes zw$. Cada simple tensor puede ser escrita en esta forma, de modo que, ciertamente, cada elemento de a $\mathbb{C} \otimes_\mathbb{C} \mathbb{C}$ tiene la forma $1 \otimes (a+bi)$. Tenga en cuenta que $1 \otimes (a+bi) = 1 \otimes a + 1 \otimes bi = a \otimes 1 + b \otimes i = a \cdot (1 \otimes 1) + b \cdot (1 \otimes i)$. En particular, cada elemento de la $\mathbb{C} \otimes_\mathbb{C} \mathbb{C}$ puede ser escrito como una $\mathbb{R}$-combinación lineal de $1 \otimes 1$$1 \otimes i$.
Pretendemos que $1 \otimes 1$ $1 \otimes i$ forma una base para $\mathbb{C} \otimes_\mathbb{C} \mathbb{C}$$\mathbb{R}$, por lo que este módulo es libre de rango 2 sobre $\mathbb{R}$.
por la característica universal de la libre módulos, la asignación de $(1,0) \mapsto 1 \otimes 1$,$ (0,1) \mapsto 1 \otimes i$ se extiende a una surjective $\mathbb{R}$-módulo homomorphism $\varphi : \mathbb{R}^2 \rightarrow \mathbb{C} \otimes_\mathbb{C} \mathbb{C}$.
Ahora definir $\psi$ : $\mathbb{C} \times \mathbb{C} \rightarrow \mathbb{R}^2$ por $\psi(a+bi,c+di) = (ac-bd, ad+bc)$. Evidentemente, $\psi$ $\mathbb{C}$equilibrada, y por lo tanto induce una $\mathbb{R}$-módulo homomorphism $\Psi$ : $\mathbb{C} \otimes_\mathbb{C} \mathbb{C} \rightarrow \mathbb{R}^2$. Por otra parte, $\Psi$ es surjective. Evidentemente, $\varphi$ $\psi$ son mutua recíproca. Por lo tanto $\mathbb{C} \otimes_\mathbb{C} \mathbb{C}$ es libre de rango 2 como $\mathbb{R}$-módulo.
Ahora vamos a $(a+bi) \otimes (c+di)$ ser un simple tensor en $\mathbb{C} \otimes_\mathbb{R} \mathbb{C}$. Evidentemente, $(a+bi) \otimes (c+di) = a \otimes c + a \otimes di + bi \otimes c + bi \otimes di = ac(1 \otimes 1) + ad(1 \otimes i) + bc(i \otimes 1) + bd(i \otimes i)$. Ciertamente, a continuación, cada elemento de a $\mathbb{C} \otimes_\mathbb{R} \mathbb{C}$ $\mathbb{R}$- combinación lineal de $1 \otimes 1, 1 \otimes i, i \otimes 1$, e $i \otimes i$.
Pretendemos que estos cuatro elementos forman una base para $\mathbb{C} \otimes_\mathbb{R} \mathbb{C}$ como $\mathbb{R}$-módulo. Para ver esto, observe que la característica universal de la libre módulos de nuevo induce un surjective $\mathbb{R}$-módulo homomorphism $\mathbb{R}^4 \rightarrow \mathbb{C} \otimes_\mathbb{R} \mathbb{C}$.
Evidentemente, la asignación de $\mathbb{C} \times \mathbb{C} \rightarrow \mathbb{R}^4$ $(a+bi,c+di) \mapsto (ac,ad,bc,bd)$ $\mathbb{R}$equilibrada, y así induce un (claramente surjective) $\mathbb{R}$-módulo homomorphism $\mathbb{C} \otimes_\mathbb{R} \mathbb{C} \rightarrow \mathbb{R}^4$.
Estas asignaciones son mutua recíproca. Por lo tanto $\mathbb{C} \otimes_\mathbb{R} \mathbb{C}$ es libre de rango 4 como a la izquierda $\mathbb{R}$ módulo.
Más de un anillo conmutativo, (finitely generado) gratis módulos tienen un rango único. Así tenemos a $\mathbb{C} \otimes_\mathbb{C} \mathbb{C} \not\cong_R \mathbb{C} \otimes_\mathbb{R} \mathbb{C}$.