Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Prove that A Kronecker Product B is invertible if and only if B Kronecker Product A is invertible.

I dont have a clue where to start to be honest. I am not very familiar yet to the Kronecker Product so could you please help me with providing an easyily understandable proof.

Thanks in advance.

share|improve this question
add comment

3 Answers

You can show that $A\otimes B$ is invertible if and only if $A$ and $B$ are invertible, from which this result follows.

If $A$ and $B$ are invertible, do you know how to find $(A\otimes B)^{-1}$?

If $A$ is not invertible, then there exists $C\neq 0$ such that $CA=0$. It follows that $(C\otimes I)(A\otimes B)=0$, which implies that $A\otimes B$ is not invertible.

share|improve this answer
add comment

Hint: If $A$ is a $m\times m$ matrix and $B$ a $n\times n$ matrix then $$\det(A\otimes B)=(\det A)^n\cdot (\det B)^m.$$

share|improve this answer
    
A square matrix is invertible if and only if its determinant is different from $0$. –  Davide Giraudo Feb 12 '13 at 16:57
2  
What do you know about invertible matrices? –  Davide Giraudo Feb 12 '13 at 17:02
add comment

The previous answers assume that $A$ and $B$ are square. This is fair because it is not generally possible for $A\otimes B$ to be invertible when $A$ and $B$ are rectangular.

In the more general setting where $A$ is $m\times n$ and $B$ is $r\times s$ (and $mr = ns$) it is still easy to see that $A\otimes B$ is equivalent to $B \otimes A$ up to permuting the rows and columns.

Both $A \otimes B$ and $B \otimes A$ contain exactly the same entries $a_{ij} b_{kl}$. More explicitly, one places $a_{ij} b_{kl}$ in row $(i-1)r+k$ and column $(j-1)s+l$, and the other places it in row $(k-1)m+i$ and column $(l-1)n+j$. Note that the row numbers are uniquely determined by $i,k$ and the column numbers determined independently by $j,l$.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.