PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
Kronecker product (Definition)

Definition. Let $A=(a_{ij})$ be a $n\times n$ matrix and let $B$ be a $m\times m$ matrix. Then the Kronecker product of $A$ and $B$ is the $mn\times mn$ block matrix \begin{eqnarray*} A\otimes B &=&\left( \begin{array}{ccc} a_{11} B & \cdots & a_{1n} B \\ \vdots & \ddots & \vdots \\ a_{n1} B & \cdots & a_{nn} B \\ \end{array} \right). \end{eqnarray*}The Kronecker product is also known as the direct product or the tensor product [1].

Fundamental properties [1,2]

  1. The product is bilinear. If $k$ is a scalar, and $A,B$ and $C$ are square matrices, such that $B$ and $C$ are of the same order, then \begin{eqnarray*} A\otimes (B+C) &=& A\otimes B + A\otimes C,\\ (B+C)\otimes A &=& B\otimes A + C\otimes A,\\ k(A\otimes B) &=& (kA)\otimes B = A\otimes (kB). \end{eqnarray*}
  2. If $A,B,C,D$ are square matrices such that the products $AC$ and $BD$ exist, then $(A\otimes B)(C\otimes D)$ exists and \begin{eqnarray*} (A\otimes B)(C\otimes D) &=& AC\otimes BD. \end{eqnarray*}If $A$ and $B$ are invertible matrices, then \begin{eqnarray*} (A\otimes B)^{-1} &=& A^{-1} \otimes B^{-1}. \end{eqnarray*}
  3. If $A$ and $B$ are square matrices, then for the transpose ($A^T$ we have \begin{eqnarray*} (A\otimes B)^{T} &=& A^{T} \otimes B^{T}. \end{eqnarray*}
  4. Let $A$ and $B$ be square matrices of orders $n$ and $m$ respectively. If $\{\lambda_i | i=1,\ldots,n \}$ are the eigenvalues of $A$ and $\{\mu_j | j=1,\ldots, m \}$ are the eigenvalues of $B$ then $\{\lambda_i \mu_j | i=1,\ldots, n, \, j=1,\ldots, m \}$ are the eigenvalues of $A\otimes B$ Also, \begin{eqnarray*} \det (A\otimes B) &=& (\det A)^m (\det B)^n, \\ \rank (A\otimes B) &=& \rank A\, \rank B, \\ \trace (A\otimes B) &=& \trace A\, \trace B, \\ \end{eqnarray*}

Bibliography

1
H. Eves, Elementary Matrix Theory, Dover publications, 1980.
2
T. Kailath, A.H. Sayed, B. Hassibi, Linear estimation, Prentice Hall, 2000




"Kronecker product" is owned by Mathprof. [ full author list (3) | owner history (2) ]
(view preamble | get metadata)

View style:

Other names:  tensor product (for matrices), direct product
Log in to rate this entry.
(view current ratings)

Cross-references: eigenvalues, transpose, invertible, order, square matrices, scalar, bilinear, product, properties, tensor product, block matrix, matrix
There are 2 references to this entry.

This is version 4 of Kronecker product, born on 2003-04-06, modified 2006-08-08.
Object id is 4163, canonical name is KroneckerProduct.
Accessed 33996 times total.

Classification:
AMS MSC15-00 (Linear and multilinear algebra; matrix theory :: General reference works )

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy
invariants of the tensor product by mcintosh on 2003-10-04 19:51:25
The entry for "Kronecker Product" or alternatively "Tensor Product"
shows formulas for the trace, rank, and determinant of the product
in terms of those for its factors.

Are there corresponding formulas for the other invariants, and in
particular, can the characteristic equation of the product be
related to the characteristic equations of its factors?

At worst, I suppose they could be deduced by knowing all the roots.

- hvm
[ reply | up ]

Interact
post | correct | update request | add derivation | add example | add (any)