Ich verwende den Satz
Ist \(\{v_1,\cdots,v_n\}\) eine Basis von \(V\) und \(\{w_1,\cdots,w_m\}\) eine Basis von \(W\),
dann ist \(\{v_i\otimes w_j: \; i=1,\cdots,n,\; j=1,\cdots,m\}\) eine Basis von \(V\otimes W\).
Seien \(v_1,v_2\) linear unabhängig, sowie \(w_1,w_2\) linear unabhängig, dann können
wir zu Basen \(v_1,\cdots,v_n\) von \(V\) und \(w_1,\cdots w_m\) von \(W\) ergänzen,
d.h. \(v_1\otimes w_1\) und \(v_2\times w_2\) sind linear unabhängig.
Andererseits ist \(r\otimes s=\sum_{i,j}c_{ij}v_i\otimes w_j\) mit eindeutigen
Skalaren \(c_{ij}\). Damit sollte man etwas anfangen können ...