Let $(u,v,r,s) \in (\mathbb{N}^*)^4$. Let $A = (a_{ij})_{\substack{1 \leqslant i \leqslant u \\ 1 \leqslant j \leqslant v}} \in \mathcal{M}_{u,v}(\mathbb{R})$ and $B \in \mathcal{M}_{r,s}(\mathbb{R})$. We define the Kronecker product of $A$ by $B$, and we denote $A \otimes B$, the matrix of $\mathcal{M}_{ur,vs}(\mathbb{R})$ which is defined by $uv$ blocks of size $r \times s$ in such a way that, for all $(i,j) \in \llbracket 1,u \rrbracket \times \llbracket 1,v \rrbracket$, the block with index $(i,j)$ is $a_{i,j}B$. Show that if $A \in \mathcal{M}_u(\mathbb{R})$ and $B \in \mathcal{M}_r(\mathbb{R})$ are diagonalizable, then $A \otimes B$ is diagonalizable and $$\operatorname{Sp}(A \otimes B) = \{\lambda\mu \mid \lambda \in \operatorname{Sp}(A), \mu \in \operatorname{Sp}(B)\}.$$ One may start by determining the inverse of the Kronecker product of two invertible matrices.
Let $(u,v,r,s) \in (\mathbb{N}^*)^4$. Let $A = (a_{ij})_{\substack{1 \leqslant i \leqslant u \\ 1 \leqslant j \leqslant v}} \in \mathcal{M}_{u,v}(\mathbb{R})$ and $B \in \mathcal{M}_{r,s}(\mathbb{R})$. We define the Kronecker product of $A$ by $B$, and we denote $A \otimes B$, the matrix of $\mathcal{M}_{ur,vs}(\mathbb{R})$ which is defined by $uv$ blocks of size $r \times s$ in such a way that, for all $(i,j) \in \llbracket 1,u \rrbracket \times \llbracket 1,v \rrbracket$, the block with index $(i,j)$ is $a_{i,j}B$.
Show that if $A \in \mathcal{M}_u(\mathbb{R})$ and $B \in \mathcal{M}_r(\mathbb{R})$ are diagonalizable, then $A \otimes B$ is diagonalizable and
$$\operatorname{Sp}(A \otimes B) = \{\lambda\mu \mid \lambda \in \operatorname{Sp}(A), \mu \in \operatorname{Sp}(B)\}.$$
One may start by determining the inverse of the Kronecker product of two invertible matrices.