 Two-factor tensor rank

The two-factor tensor rank is the smallest number of pure tensors whose sum equals $t$, with zero allowed as the empty sum. For two finite-dimensional vector spaces over the same field, it equals the matrix rank of the tensor-product coefficient matrix. A sum of $r$ outer products has column space contained in the span of their $r$ first factors, so its matrix rank is at most $r$. Conversely, choose a basis $u_1,\dots ,u_r$ for the column space, express each column in that basis, and collect the coefficients into row vectors $w_k^T$. This yields $C={\sum }_{k=1}^r{u}_k{w}_k^T$, hence a sum of $r$ pure tensors.

The pure tensor $(2,1)\otimes (-1,3)$ therefore has two-factor tensor rank one, whereas $e_1\otimes f_1+e_2\otimes f_2$ has two-factor tensor rank two. Both have two factors: the number of factors and the minimum number of product summands are different counts. Over the real numbers, the singular value decomposition supplies a useful decomposition $C={\sum }_k{\sigma }_k{u}_k{v}_k^T$, with one nonzero term per matrix rank. The two-factor rank equality does not extend to three or more factors by merely choosing one matrix layout.