 Separability of a tensor

In a two-factor tensor product over a field, a pure tensor is also called a separable or decomposable tensor: it can be expressed as one product $v\otimes w$. Every tensor is a finite sum of pure tensors, but a sum need not itself be a pure tensor.^[ref]

For finite-dimensional vector spaces, the tensor-product coefficient matrix gives a decisive test: a nonzero tensor is a pure tensor exactly when its matrix rank is one. Indeed, every column of $v{w}^T$ is a scalar multiple of $v$. Conversely, if all columns of a nonzero matrix are multiples of one nonzero column $v$, collect their multipliers in $w$ to obtain $C=v{w}^T$. The zero tensor is also a pure tensor, for example $0\otimes w$, but its matrix rank is zero.

In ${\mathbb{R}}^2{\otimes }_{\mathbb{R}}{\mathbb{R}}^2$, the tensoris nonseparable: its matrix rank is two and its determinant is one, whereas $\det (v{w}^T)=0$. Directly, trying $t=(a{e}_1+b{e}_2)\otimes (c{f}_1+d{f}_2)$ requires $ac=bd=1$ and $ad=bc=0$. The first two equations force all four scalars nonzero, contradicting the others. In contrast, products sharing a factor do combine: $e_1\otimes f_1+e_1\otimes f_2=e_1\otimes (f_1+f_2)$. Thus being written as two summands alone does not establish nonseparability.