On a tensor-analogue of the Schur product
We consider the tensorial Schur product for with unital -algebras, verify that such a `tensorial Schur product' of positive operators is again positive, and then use this fact to prove (an apparently marginally more general version of) the classical result of Choi that a linear map is completely positive if and only if , where of course denotes the usual system of matrix units in . We also discuss some other corollaries of the main result.