Vectorization of Product of Three Matrices

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $R$ be a ring.

Let $A, B, C$ be matrices over $R$ such that the matrix product $ABC$ is defined.


Then $\map {\operatorname {vec} }{ABC} = \paren {C^\intercal \otimes A} \cdot \map {\operatorname {vec} } B$ where:

$\operatorname {vec}$ denotes vectorization
$C^\intercal$ is the transpose of $C$
$\otimes$ denotes Kronecker product
$\cdot$ denotes matrix product


Proof



Also see