Decomposition of tensor product into direct sum of fields

1.1k Views Asked by At

If I have tensor product of two fields $V_1\otimes V_2$, what is the general approach to decompose this product into a direct sum of fields? In particular, I have

$\bullet\;\Bbb Q(\sqrt 2) \otimes_\Bbb Q \Bbb Q(\sqrt 3)$ and

$\bullet\;\Bbb{F_{q^2}} \otimes_{\Bbb {F_q}} \Bbb F_{q^3}$

How do I proceed with these tensor products? And is there a general algorithm?

Edit: Can I simply take basis of $V_1$ and $V_2$ separetely (let it be $\{e_i\}$ and $\{f_j\}$) and write something like $V_1\otimes V_2 \cong \bigoplus_{i,j} F(e_i\otimes f_j)\cong \bigoplus_{i,j}F $?
Then $\Bbb Q(\sqrt 2) \otimes_\Bbb Q \Bbb Q(\sqrt 3)\cong \Bbb Q \oplus \Bbb Q \oplus \Bbb Q \oplus \Bbb Q$ since $dim V_1=2$ and $dim V_2=2$ and
$\Bbb{F_{q^2}} \otimes_{\Bbb {F_q}} \Bbb F_{q^3}\cong \Bbb F_q^5$ since $dim V_1=2$ and $dim V_2=3$?

1

There are 1 best solutions below

0
On

If $A$ and $B$ are algebras over a feld $K$ then $A\otimes_KB$ is also a $K$-algebra. If we have bases $\cal A$ and $\cal B$ of the spaces $A,B$ over $K$ respectively then $(\bigoplus aK)\otimes(\bigoplus bK)\cong \bigoplus abK$ is a valid direct sum decomposition of vector spaces, but generally not of algebras. Why should $abK$ be closed under $\times$?

If $A$ is a finite separable field extension of $K$, then $A=K(a)\cong K[x]/(f(x))$ by the primitive element theorem, and subsequently $A\otimes_K B\cong B[x]/(f(x))$, which can be resolved into a direct product of fields by resolving $f(x)$ into irreducible factors over $B$ and then invoking the chinese remainder thm.